书法比赛结果公布前，四人猜测获奖者。小盛说：'获奖的是小柯'；小柯说：'获奖的是…
书法比赛结果公布前，四人猜测获奖者。小盛说：'获奖的是小柯'；小柯说：'获奖的是小岑'；小岑说：'获奖的不是我'；小越说：'获奖的不是我'。已知只有一人猜对，且获奖者就在四人当中、只有一人获奖。 获奖的是谁？
A. 小岑
B. 小柯
C. 小越
D. 小盛
答案与解析
正确答案：C
花生十三讲解
真假推理找矛盾法。小柯说'获奖的是小岑'与小岑说'获奖的不是我'构成矛盾，必有一真一假。已知只有一人猜对，则唯一真话在小柯小岑之中，小盛、小越均猜错。小越'获奖的不是我'为假，即获奖者是小越。验证：为小越时，小盛错、小柯错、小岑对、小越错，恰好一人猜对，成立且唯一。确认答案为C。
原解析
小柯与小岑的话矛盾（是小岑/不是小岑），必一真一假，唯一真话在其中，故小盛、小越均猜错。小越说'不是我'为假，即获奖者是小越。验证：为小越时，小盛错、小柯错、小岑对、小越错，恰一人对，自洽（程序枚举验证唯一）。