صغریٰ: ہر ب، ج ہے۔
کبریٰ: کوئی ب، ا نہیں۔
صغریٰ کے عکس سے «بعض ج، ب ہیں» حاصل کریں۔ اب ان بعض ج کے متعلق کبریٰ بتاتی ہے کہ وہ ا نہیں ہو سکتے۔ نتیجہ «بعض ج، ا نہیں» لازم آیا۔
باریک فرق: یہ دلیل ب کے موجود افراد پر قائم ہے؛ اگر کسی فرضی لفظ کا کوئی مصداق ہی نہ ہو، تو صرف دو کلیہ جملوں سے جزئی نتیجہ نکالنے میں وجود کی شرط الگ زیرِ بحث آئے گی۔