การพิจารณาข้อมูลต่อไปนี้ ข้อสรุปใดถูกต้องตามความเป็นจริง: 'สัตว์ทั้งหมดต้องหายใจ วัวเป็นสัตว์'
กวัวอาจหายใจหรือไม่หายใจก็ได้
ขไม่สามารถวัวหายใจหรือไม่
ควัวต้องหายใจ
งวัวไม่ต้องหายใจ
เฉลยอธิบาย
นี่คือรูปแบบนิรนัยที่สมบูรณ์ (Barbara syllogism): สมมติฐานหลัก (สัตว์ทั้งหมดต้องหายใจ) + สมมติฐานย่อย (วัวเป็นสัตว์) = บทสรุป (วัวต้องหายใจ) ตัวเลือก B และ C ขัดต่อบทสรุป ตัวเลือก D ผิดเพราะสามารถสรุปได้อย่างชัดเจน