قضیه‌ی «این موجود یا غیرانسان است یا حیوان» یک قضیه‌ی شرطی منفصل مانعة‌الرفع می‌باشد؛ چون ممکن نیست که موجودی غیرانسان نباشد (یعنی به تعبیری انسان باشد!) و از طرف دیگر حیوان نیز باشد. بنابراین رفع دو طرف محال است در حالی که می‌شود دو طرف را با هم جمع کرد؛ یعنی ممکن است که موجود غیرانسان باشد و حیوان هم باشد؛ مثلاً زرافه که حیوان هست، ولی انسان نیست! پس به درستی باید گفت که این قضیه، یک قضیه‌ی شرطی منفصل مانعة‌الرفع است. با توجه به این نکته، اکنون به بررسی قضایای مطرح‌شده در صورت سؤال می‌پردازیم:

قضیه‌ی «1»: این قضیه صادق است چون میان حیوان و غیرانسان می‌توان جمع کرد و گفت که برخی حیوان‌ها غیرانسان هستند.
قضیه‌ی «2»: این قضیه نیز صادق است چون از طرف عکس مستوی قضیه‌ی بالاست و چون قضیه‌ی بالا صادق است، این نیز صادق خواهد بود؛ و از طرف دیگر با توجه به اطلاعات صورت سؤال نیز قابل پذیرش است.
قضیه‌ی «4»: این قضیه کاذب است چون می‌دانیم که برخی حیوانات غیرانسان نیستند و به عبارت دیگر، برخی حیوانات انسان‌اند.
قضیه‌ی «5»: این قضیه نیز کاذب است چون همانطور که گفته شد، برخی غیرانسان‌ها مانند زرافه،‌ حیوان هستند و نمی‌شود گفت: «هیچ غیرانسانی حیوان نیست.»

بنابراین در مجموع دو قضیه از میان قضایای فوق، کاذب هستند و گزینه‌ی «3» پاسخ صحیح تست خواهد بود.