لكن المحال ليس بثابت، فبالضرورة ثبت المدعى
لیکن محال ثابت نہیں، لہٰذا ضروری طور پر مدعا ثابت ہوگیا۔
یہ جملہ دوسرے قیاس کا آخری مرحلہ واضح کرتا ہے۔ جب «مدعا کی نفی» سے محال کا لزوم صحیح ثابت ہو اور محال واقع نہ ہو سکتا ہو، تو مدعا کی نفی رد ہو جاتی ہے۔
اس کے بعد اصل مدعا کا ثبوت اس قاعدے سے ہوتا ہے کہ قضیہ اور اس کا صحیح نقیض دونوں باطل نہیں ہو سکتے۔