ถ้า "ทุกคนที่มีความสุขล้วนมีเงินเยอะ" และ "สมชายไม่มีเงินเยอะ" สรุปข้างต้นเกี่ยวกับความสุขของสมชายได้อย่างไร?
กสมชายไม่มีความสุข เพราะเขาไม่มีเงินเยอะ
ขสมชายมีความสุข แต่ไม่มีเงินเยอะ
คสมชายอาจมีความสุข หรือไม่มีความสุขก็ได้
งสมชายต้องมีความสุข เพราะมีเงินอยู่บ้าง
เฉลยอธิบาย
จากการใช้ตรรกศาสตร์ ถ้า A→B (มีความสุข→มีเงินเยอะ) และ ¬B (ไม่มีเงินเยอะ) ดังนั้น ¬A (ไม่มีความสุข) นี่คือการสกัดกั้นย้อนกลับ (modus tollens)