وكل ب د وفي نسخة ا بدل د

على أنها مقدمة صادقة بينة وفي نسخة بدون كلمة صادقة وفي أخرى بزيادة عبارة منه بعد كلمة بينة لا شك فيها وفي نسخة بدون عبارة لا شك فيها

أو بينت بقياس فينتج منه

إن لم يكن قولنا ليس كل ج ب صادقا فكل ج د وفي نسخة ا بدل د

ثم نأخذ هذه النتيجة ونستثني نقيض المحال وهو تاليها فنقول

لكن ليس كل ج د وفي نسخة ا بدل د فينتج نقيض المقدم وهو أنه

ليس ليس قولنا ليس وفي نسخة بدون كلمة ليس الأخيرة كل ج ب صادقا بل هو صادق

وتاليها ما يلزم من ذلك وهو

وضع نقيض المطلوب على أنه حق

والحملية هي مقدمة غير متنازعة تقترن بنقيض المطلوب على هيئة منتجة فينتجان

متصلة مقدمها المقدم المذكور وتاليها نتيجة الاقتران المذكور

وهي مناقضة لحكم متفق وفي نسخة يتفق عليه

وأما الاستثنائي فهو من المتصلة التي هي نتيجة القياس الأول ويستثنى فيه نقيض تاليها الذي كذبه الحكم المتفق عليه لينتج نقيض مقدمها الذي هو فرض المطلوب غير حق

فتكون النتيجة كون المطلوب حقا

وظاهر أنه يحتاج إلى مقدمتين مسلمتين

إحداهما ما جعلت وفي نسخة جعل كبرى الاقتراني

والثانية هي وفي نسخة هو الحكم المتفق عليه

وقياس الخلف يتألف من