鄧芝道：“你們就不要懷疑了，我們跟隨丞相打仗多年，丞相的計謀沒有失敗過，你們不要違抗命令！”
陳式聽後大笑起來，反駁道：“如果丞相的計謀很厲害，就不會導致街亭的失敗了！”
魏延聽後也不覺笑了起來，想起之前孔明不聽從自己的計謀，道：“丞相如果那時聽取我的建議，直接出兵子午谷，這個時候不要說是長安，就是洛陽也在我們的手中了，現在決定要出祁山，有什麼作用呢？而且現在讓我們進軍，又派你來通知我們不要進軍，這種號令讓人費解！”
陳式道：“既然是這樣，我就自己帶着五千兵馬，出箕谷，先到祁山安營，看看丞相這個命令是不是有問題！”
鄧芝再三勸阻，陳式就是不聽，便任由其帶着五千兵馬去了箕谷，鄧芝見其離開，只能回去向孔明彙報情況。
陳式帶着兵馬前行，忽然聽到一聲炮響，魏軍果然四面埋伏，殺了出來，陳式準備撤退時，魏軍已經將後路斷了，將其圍得像鐵桶一樣，陳式左右衝突，無法衝出，忽然喊聲大震，一隊人馬殺了出來，來人正是魏延，救了陳式，回到了谷中，出去的五千兵馬只剩下四五百帶傷的人馬，背後魏延趕來，杜瓊、張嶷帶着兵馬出來接應，魏軍這才退走，兩人這才意識到孔明的未卜先知的能力，懊悔不已。
鄧芝回去見了孔明，說明魏延和陳式兩人完全不聽從命令，如此無禮，孔明只是笑道：“魏延本來就有反骨，之前我們攻下長沙時，勸先帝斬殺，先帝可憐他的勇猛，任用他，這才罷免，我知道他對我的意見很大，是因爲他勇猛，我才重用的，時間長了一定會生出禍患的。”
兩人正在對話時，忽然有探馬回來彙報，說陳式帶着五千兵馬，被魏軍埋伏，死了四千多人，只有四五百帶傷的人馬，囤積在谷中，孔明讓鄧芝來箕谷安撫陳式，防止兩人投降魏軍，同時喊來馬岱、王平吩咐道：“如果斜谷也有魏軍守衛，你們兩人帶着本部人馬翻山越嶺，夜晚行軍，快速到祁山的左邊，舉火爲號。”又招來馬忠、張翼吩咐道：“你們也從山間的小路，夜晚偷偷過去，到祁山的右邊，舉火爲號，和馬岱、王平兩人回合，共同進攻曹真的營寨，我自己從谷中三面來進攻，那麼魏軍就可以被攻破了。”
四人領命分頭行動，孔明又找來關興、廖化吩咐道：“你們就這樣吧。”兩人得到了計謀，便帶着兵馬離開，孔明帶着精兵加快了行軍的速度，正在行走之間，忽然又喊來吳班、吳懿告訴了一些計謀，也帶着兵馬前行。
曹真雖然和司馬懿打賭，卻始終不相信蜀軍會追出來，所以防禦方面十分怠慢，讓兵士休息，只等了十幾天沒有什麼事情，就要羞辱司馬懿，守了七日後，忽然又兵士來報，說是谷中有些蜀兵出來了，曹真讓副將秦良帶着五千哨探，不許那些蜀兵靠接邊界，秦良領命，帶着兵馬剛到谷口，哨兵看到蜀兵退走，秦良帶着兵馬趕到，又走了五十六十里路，仍然沒有看到蜀軍，心裏十分疑惑，就讓兵士下馬休息。
孔明把投降的兵士拘禁在後軍中，將魏軍的衣服給五千蜀軍更換了，假裝是魏軍，派關興、廖化、吳班、吳懿四人，帶着假的魏軍，往魏軍營寨摸去，先派人去營寨中說明情況，只是一些小的蜀兵，都被趕走了。
曹真聽後十分高興，忽然司馬懿派心腹人員來了，曹真將其召入，那人告訴道：“現在都督用埋伏的計謀，殺了蜀軍四千多人，司馬懿希望都督不要以賭賽爲由，還是要用心來提防蜀軍啊。”
曹真道：“我這裏沒有一個蜀軍。”於是將那人打發走了，忽然有人彙報，說是秦良帶着兵馬凱旋迴來。
曹真信以爲真，親自出來迎接，等到營寨門口，有人彙報，說是營寨起了大火，等到回去看時，關興、廖化、吳班、吳懿四將指揮着假魏軍殺了進來，馬岱和王平從後面殺入，馬忠和張翼也帶着兵馬殺了過去，魏軍措手不及，被四面包圍，各自逃生，衆人保護曹真往東邊逃走，蜀軍死死追趕。
曹真正在奔走，忽然喊聲大震，一隊人馬殺了出來，曹真膽戰心驚，害怕是孔明的埋伏，結果擡頭看去，那人正是司馬懿，司馬懿大戰一場，蜀軍這才退去，曹真這才脫離危險，十分羞愧。
司馬懿嘆道：“諸葛亮奪取了祁山的地勢，我們不能長久在這裏屯紮，可以去渭濱安營，再去想其他的辦法吧。”
曹真詢問道：“你是怎麼知道我失敗的？”
司馬懿道：“有人說你這邊沒有看到一個蜀兵，我估計孔明肯定偷偷來進攻你的營寨，所以知道你會敗，因此親自帶着兵馬來接應你，現在不說賭賽的事情了，我們一起來報效國家。”
曹真聽後十分慚愧，有些惶恐，舊病復發，一病不起，屯兵在渭濱，司馬懿害怕軍心渙散，不敢讓曹真帶兵。
孔明帶着兵馬，重新出了祁山，犒勞了兵士，魏延、陳式、杜瓊、張嶷進入營寨中請罪，孔明詢問道：“是誰不聽從我的號令，損失了四千兵馬？”
魏延回道：“是陳式不聽號令，進入谷口，被魏軍埋伏，所以導致了失敗。”
陳式怒道：“這件事是魏延讓我做的！”