باتوجه به گزینه‌های داده‌شده، کدامیک صحیح‌ترین جواب برای سوال داده‌شده است؟

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