الأوسط، و الحمليّات في الحدّ الآخر لكن لا تشترك التأليفات في نتيجة واحدة.

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

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

مثاله: «دائما إمّا كلّ ا ب أو كلّ ا د، و كلّ ب ج، و لا شيء من ب ه‌، و لا شيء من د ط» فينتج باعتبار الشركة مع «كلّ ب ج» «إمّا كلّ ا ج أو لا شيء من ا ط» و باعتبار الشركة مع «لا شيء من ب ه‌» «إمّا لا شيء من ا ه‌ أو لا شيء من ا ط» و أمّا باعتبار مشاركة «كلّ ا ب» لمجموع القضيّتين، فإنّه ينتج «إمّا كلّ ا ج أو لا شيء من ا ه‌ أو لا شيء من ا ط» و هذا الاعتبار مغاير للأوّل؛ فإنّ اعتبار المشاركة مع الأفراد غير اعتبارها مع الجملة.

السادس: أن يكون عدد الحمليّات أقلّ من أجزاء الانفصال، فلنفرض الحمليّة واحدة، و المنفصلة ذات جزءين و هو على قسمين:

أحدهما: أن تكون الحمليّة مشاركة للجزءين، مثاله: «إمّا أن يكون كلّ ا ب، أو كلّ ج ب، و كلّ ب د» ينتج «إمّا كلّ ا د أو كلّ ج د» .

و ثانيهما: أن تشارك الحمليّة أحد الجزءين فقط، مثاله: «إمّا أن يكون كلّ ا ب أو كلّ ا ج، و كلّ ج د» ينتج «إمّا كلّ ا ب أو كلّ ج د» .

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

و أقسامه ثلاثة:

الأوّل: أن يكون الأوسط تامّا من المقدّمتين، فإن كانت المتّصلة صغرى، فلا امتياز بين الأوّل و الثالث، و لا بين الثالث و الرابع. و إن كانت كبرى، فلا امتياز بين الأوّل