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

وأما القياس المركب من مانعة الجمع المجوزة للخلو فاثنان من ضروبه الأربعة منتجان، واثنان عقيمان.

أما الضربان المنتجان فهما: استثناء عين المقدم، واستثناء عين التالي، إذ استثناء عين كل منهما ينتج نقيض الآخر؛ لأنها مانعة جمع، فلو قلت: الجسم إما أبيض وإما أسود، ولكنه أبيض، أنتج نقيض أسود، ولو قلت: لكنه أسود، أنتج نقيض أبيض؛ لاستحالة اجتماع طرفيها؛ لأنها مانعة جمع.

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

وكذا لو قلت: الجسم إما أبيض وإما أسود، واستثنيت نقيض التالي لأن قلت: لكنه غير أسود، لم ينتج شيئًا؛ لجواز أن يكون غير أسود وغير أبيض؛ لأنها مجوزة خلوٍّ، أي يجوز انتفاء كل من مقدمها