مع الأربع كبرى والموجبتان صغرى مع الجزئيتين كبرى أو حصل الموجبتان صغرى مع الكليتين كبرى فضروبه المنتجة أربعة هي الاستدلال بثبوت الأوسط لكل الأصغر أو بعضه وكل منهما مع ثبوت الأكبر لكل الأوسط أو سلبه عن كله على ثبوت الأكبر لكل الأصغر أو سلبه عن كله أو ثبوته لبعض الأصغر أو سلبه عن بعضه وترتيب الضروب باعتبار شرف النتائج أو شرف أنفسها. الجزء الثاني في الشكل الثاني وحاصله حمل محمول واحد على متغايرين ليحمل أحدهما على الآخر ولإنتاجه شرطان: الشرط الأول: بحسب الكيف اختلاف مقدمتيه بالإيجاب والسلب ولذا لا ينتج إلا سالبة ولبيانه مقدمة هي أن مخالفته للأول لما كانت في الكبرى وجب أن يعكس إحدى مقدمتيه وتجعل كبرى الشكل الأول وتلك صغرى هذا الشكل في الضرب الثاني والكبرى في البواقي لكن في الرابع عكس النقيض على أحد الطريقين وعكس لازمها مستقيمًا على الطريق الآخر وكل منهما أولى من الآخر بوجه فالأول لقصر المسافة والثاني لمراعاته كحدود القياس فيكون طريقًا متفقًا عليه قيل الثاني أيضًا عكس النقيض للملزوم على مذهب المتأخرين فالأول أولى مطلقًا وليس بصحيح لأن المعتبر عكس اللازم لا الملزوم وقيل: أيضًا كل من الطريقين مبني على جعل الصغرى السالبة في حكم الإيجاب أما قبل صيرورتها صغرى الشكل الأول أو بعدها وفيه أيضًا بحث لأن حكم الإيجاب أن أعطى قبل الصيرورة صار الضرب الرابع يحسب الطريق الثاني موجبتين مع الملزوم وضربًا ثالثًا مع اللازم وبحسب الطريق الأول موجبتين وإن أعطى بعد الصيرورة حصل النتيجة بحسب الطريق الثاني موجبة سالبة المحمول فيحتاج إلى أخذها في قوة السالبة المحصلة إلا أن يؤخذ عكس النقيض على مذهب المتأخرين وليس بمناسب وينقدح منه طريقة أخرى هي أن يوضع لازم الكبرى موضعها فيكون الصغرى موجبة سالبة المحمول والكبرى سالبة كلية ويحصل الثالث من هذا الشكل ومن الجائز رد الضرب إلى أجلى منه قد علم إنتاجه إذا تقررت فنقول إن لم تختلفا فإن كانتا موجبتين فعكس ما يعكس منهما جزئية لا يصلح لكبروية الشكل الأول وبتعين الموضوع يصير الجزئية كلية لكن الأوسط لا يتكرر وإن كانتا سالبتين يصير صغرى الأول سالبة وعند جعلها موجبة سالبة المحمول لا يتكرر الأوسط لأن الأكبر مسلوب عما يثبت له عين الأوسط لا سالبة.