جواب سوال زیر کدامیک است؟ 
 (تمام زائیده شده‌ها انسان هستند.، اگر x زائیده شده باشد، آنگاه x یک انسان است.، اگر x زائیده نشده باشد، آنگاه x انسان نیست.، 
اگر x انسان نباشد، آنگاه x زائیده نشده است.)

سوال: اگر عبارت «تمام انسانها متولد شده‌اند» درست باشد، کدامیک از نتیجه گیری‌های زیر منطقی است؟ 
جواب سوال:
اگر x زائیده نشده باشد، آنگاه x انسان نیست.