馬謖が命令違反を犯し、街亭で司馬懿に敗れてしまいました。北伐が失敗してしまいます。麓を守らず、山頂に陣をかまえました。惨敗を喫してしまいます。その時義軍を指揮していたのが、司馬懿ということです。司馬懿は、謀反の疑いから官職を剥がれていました。※この噂を流したのは、もちろん蜀でした。司馬懿の謀反の話は、敵の策略だった事を知ると司馬懿に復帰してもらいます。孟達を討ち取り、謀反の目を摘みます。街亭で馬謖を打ち破ったという流れです。街亭の戦いについては以下のように書かれています。馬謖の命令違反による惨敗は本当ですがこれを打ち破ったのは司馬懿ではなく、張郃(ちょうこう)です。裏切りを計画していた孟達を討ち取り、その後、宛城に引き上げており、長安に向かってもいません。街亭で馬謖を破ったというのは、論外です。馬謖を破ったのは、司馬懿ではなく張郃です。宿敵である司馬懿に負けたという形にしたかったのでしょうね。