กำหนดข้อความสมมติว่า “สัตว์ที่มีปีกทุกตัวบินได้” และ “นกหัวขุนตัวหนึ่งบินไม่ได้” ข้อใดไม่สมเหตุสมผลจากข้อมูลเพียงเท่านี้
กข้อความทั้งสองทำให้ต้องตรวจว่าตัวนั้นอยู่ในกลุ่มสัตว์มีปีกหรือไม่
ขนกหัวขุนตัวนั้นต้องไม่มีปีก
คหากยืนยันเพิ่มเติมว่าตัวนั้นมีปีก ข้อความตั้งทั้งสองจะขัดกัน
งข้อมูลยังไม่บอกว่านกหัวขุนทุกตัวบินไม่ได้
เฉลยอธิบาย
จาก “มีปีกแล้วบินได้” และ “ไม่บิน” สามารถใช้ modus tollens ได้เฉพาะในระบบกฎที่ตีความเคร่งครัด แต่คำว่า ‘นกหัวขุน’ ไม่ได้ให้ข้อความตั้งว่ามีปีกในโจทย์สมมตินี้ การเติมความรู้ภายนอกแล้วสรุปทันทีจึงเกินข้อมูลที่กำหนด