ถ้า A พูดจริง B ต้องโกหก หรือ ถ้า B พูดจริง A ก็โกหก
ถ้า C พูดจริง A กับ B คนใดคนหนึ่ง โกหก
ลองให้ A โกหก B พูดจริง
A (พูดว่า ผมกินมันเอง) ไม่ได้กิน คนกินอาจเป็น B, C, หรือ D
B (พูดว่า คนที่กินเป็น C หรือไม่ก็ D) คนที่กินเหลือ C หรือ D
ให้ C พูดจริง
แสดงว่า D โกหก
สรุปว่า C เป็นคนกิน