ابتدا قیاس موجود در شکل چهارم را بررسی می‌کنیم: ساختار قیاس: هر ب الف است. هیچ ج ب نیست.3. نتیجه: بعضی ج الف نیست. تحلیل: در این قیاس: مقدمه اول: حد وسط (ب) محمول است. مقدمه دوم: حد وسط فاعل است.⇒ بنابراین این قیاس در شکل چهارم است. بررسی اعتبار: برای اینکه نتیجه «بعضی ج الف نیست» معتبر باشد، باید ترکیب مقدمات با یکی از قواعد معتبر منطبق باشد. بیایید شکل چهارم با ترکیب زیر را بررسی کنیم: هیچ ب ج نیست. (یعنی ج زیرمجموعه ب نیست) هر ب الف است.⇒ آیا می‌شود نتیجه گرفت بعضی ج الف نیست؟ پاسخ: بله، معتبر است (این ترکیب در شکل چهارم، قیاس معتبر به شرط تناقض جزئی است) پاسخ نهایی: قیاس، شکل چهارم استو اگر قضیه هیچ ب ج نیست را در مقدمه اول قرار دهیم، معتبر خواهد بود. ✅ پاسخ درست: گزینه 3چهارم ـ هیچ ب ج نیست.