والمنتج بمقتضى هذين الشرطين ستة أضرب : لأنّ جميع الضروب - كما عرفت - ستة عشر ؛ فاشتراط إيجاب الصغرى يقتضي سقوط ثمانية ، وهي الصغرى السالبتين مع الكبريات الأربع ؛ واشتراط كلية إحدى المقدمتين يقتضي سقوط ضربين ، وهما الحاصلان من الصغرى الموجبة الجزئية مع الكبرى الجزئيتين ؛ وتبقى الضروب المنتجة ستة ، وهي الحاصلة من الصغرى الموجبة الكلية مع المحصورات الأربع الكبرى والموجبة الجزئية الصغرى مع الكبرى الكلية « 1 » .

من كليتين والكبرى سالبة ينتج سالبة جزئية ، كقولك : « كل ب ج ولا شيء من ب آ ، فبعض ج ليس آ » . بيانه : بعكس الصغرى ؛ وبالخلف : إن لم يصدق « بعض ج ليس آ » ، صدق « كل ج آ » ، فنضمها إلى الصغرى وهو « كل ب ج » ، لينتج « كل ب آ » ، وكانت الكبرى « لا شيء من ب آ » ؛ هذا خلف . ولا ينتج هذان الضربان كلية ، لجواز كون الأصغر أعمّ من الأوسط وكون الأوسط « 2 » مساويا للأكبر في « 3 » الضرب الأول ، ومندرجا مع الأكبر تحت