Zhuge Liang defeats Sima Yi