کتاب کے مطابق دوسرے قیاس میں پہلے سے حاصل ہونے والا شرطیہ نتیجہ لیا جاتا ہے، پھر اس کے تالی کا نقیض استثناء کے طور پر پیش کیا جاتا ہے۔
پہلا مقدمہ: اگر مدعا کی نفی ہو تو محال لازم آئے گا۔
دوسرا مقدمہ: لیکن محال ثابت نہیں۔
نتیجہ: لہٰذا مدعا کی نفی درست نہیں۔
یہ متصلہ شرطیہ میں پہلے پڑھے ہوئے قاعدے نفیِ تالی سے نفیِ مقدم کی ایک دقیق تطبیق ہے۔