就是为了关键时刻能派上用场。你怎敢口出怨言，扰乱军心！”那人不肯承认。司马懿叫出他的同伴对质，那将无法抵赖。司马懿说：“我并非为了赌赛，而是想要战胜蜀兵，让你们每个人都能立功回朝。你却胡乱抱怨，是自找罪过！”喝令武士将他推出斩首。不一会儿，偏将的首级被献到帐下，众将都吓得战战兢兢。司马懿说：“你们各位将领都要尽心防备蜀兵。听到我中军的炮响，就四面一起进攻。”众将领命退下。
魏延、张嶷、陈式、杜琼四位将领，率领两万兵马，从箕谷进军。正行进间，忽然报告说参谋邓芝来了。四将询问原因，邓芝说：“丞相有令：如果从箕谷出兵，要提防魏兵埋伏，不可轻易前进。”陈式说：“丞相用兵为何如此多疑？我料想魏兵接连遭遇大雨，衣甲都损坏了，必然急于回去，怎么还会有埋伏呢？如今我们的军队加速前进，定能大获全胜，为何又下令不许前进？”邓芝说：“丞相的计策万无一失，谋划必定成功，你怎敢违抗命令？”陈式笑着说：“丞相要是真的足智多谋，就不会有街亭之失了！”魏延想起孔明以前不听从他的计策，也笑着说：“丞相要是听我的，直接从子午谷出兵，现在别说长安，连洛阳都能拿下了！如今执意要从祁山出兵，有什么好处呢？既然下令进兵，现在又不让前进，号令为何如此不明确！”陈式说：“我自己有五千兵马，直接从箕谷出兵，先到祁山下寨，看看丞相羞不羞愧！”邓芝再三阻拦，陈式就是不听，径自率领五千兵马从箕谷出发了。邓芝只好飞速向孔明报告。
陈式领兵前行不到几里，忽然听到一声炮响，四面伏兵齐出。陈式急忙退兵时，魏兵已经塞满了谷口，把他们围得水泄不通。陈式左冲右突，却无法突围。突然喊声震天，一彪人马杀了进来，是魏延，他救了陈式，回到谷中。五千兵马只剩下四五百带伤的人马。背后魏兵紧追不舍，幸好杜琼、张嶷领兵前来接应，魏兵才退去。陈式和魏延这才相信孔明料事如神，懊悔不已。
邓芝回去向孔明报告，说魏延、陈式如此无礼。孔明笑着说：“魏延向来有反相，我知道他常有不平之意，只是怜惜他的勇猛才任用他。日后必定会生出祸患。”正说着，忽然流星马来报，说陈式折损了四千多人，只剩下四五百带伤的人马，驻扎在谷中。孔明让邓芝