مثاله-و المنفصلة كبرى-: «كلّ ب ا، و كلّ ج ا، و إمّا أن يكون كلّ ب ه‌، أو كلّ ج ه‌؛ فبعض ا ه‌» .

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

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

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

مثاله: «إمّا أن يكون كلّ ا ب أو كلّ ج ب، و كلّ ب ه‌، و كلّ ب ط» ينتج «إمّا أن يكون كلّ ا ه‌ أو كلّ ج ط» و اقتصروا على هذا.

و أقول: الحق أنّه ينتج منفصلة أخرى هي: نتيجة التأليف الآخر و هي: إمّا كلّ ا ط أو كلّ ج ه‌» .

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

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

الرابع: أن يكون عدد الحمليات كعدد الأجزاء، و يشارك كلّ واحدة من الحمليّات واحدا من أجزاء الانفصال، و تشترك أجزاء الانفصال في أحد الحدّين اللذين هما غير