กำหนดให้ p q r และs เป็นประพจน์ จงตรวจสอบว่า การอ้างเหตุผลต่อไปนี้ สมเหตุสมผลหรือไม่
เหตุ   1. p➡️q (ถ้าpแล้วq)
         2. ~p➡️~r (ถ้านิเสธpแล้วนิเสธr)
         3. ~s v r (นิเสธ s หรือ r)
         4. ~q (นิเสธq)
ผล    ~s (นิเสธ s)