إذا لم يكن أ ب، ف‌: ج د» «قد يكون إذا كان ج د، لم يكن ه‌ ر» و يلزمه «قد يكون إمّا أن يكون ج د أو ه‌ ر» مانعا من الجمع.

هذا خلف.

النوع الثاني [1]: أن يقع الاشتراك في جزء غير تامّ منهما. و هو لا يخلو إمّا أن يشارك جزء واحد من إحدى المقدّمتين جزءا واحدا من الأخرى فقط، أو يشارك جزء واحد من إحداهما كلّ واحد من أجزاء الأخرى، أو يشارك أحد جزءي إحداهما أحد جزءي الأخرى و الجزء الآخر يشارك الجزء الآخر فقط، أو يشارك كلّ واحد من جزءي إحداهما كلّ واحد من جزءي الأخرى، أو يشارك أحد جزءي إحداهما أحد جزءي الأخرى و الآخر يشارك كلّ واحد من جزءي الأخرى، فالأقسام خمسة. و تنعقد الأربعة الأشكال في الجميع.

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

فالأوّل من الخمسة ينتج منفصلة مانعة الخلوّ، موجبة، مركّبة من ثلاثة أجزاء، و هي نتيجة التأليف من المتشاركين و الجزءين غير المتشاركين؛ لامتناع الخلوّ عن مقدّمتي القياس و عن الجزءين الآخرين.

مثاله: «دائما إمّا كلّ أ ب أو كلّ أ ج، و دائما إمّا كلّ ج د أو كلّ ه‌ ر» ينتج «دائما إمّا كلّ أ ب أو كلّ أ د أو كلّ ه‌ ر» .

مثال آخر: «دائما إمّا كلّ أ ب أو كلّ أ ج، و دائما إمّا أن يكون كلّ أ ب و إمّا أن يكون كلّ ج د، و دائما إمّا كلّ د ه‌ و إمّا أن يكون و ر» ينتج «دائما إمّا أن يكون كلّ ج د، و دائما إمّا كلّ ر ه و إمّا أن يكون و ر» ينتج «دائما إمّا أن يكون كلّ أ ب و إمّا كلّ ج ه‌ و إمّا