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

ويمكن بيان الخمسة الأوَل بالخلف، وهو ضمّ نقيض النتيجة إلى إحدى المقدّمتين لينتج ما ينعكس إلى نقيض الأخرى، والثاني والخامس بالافتراض. ولنبيّن ذلك في الثّاني ليقاس عليه الخامس، وليكن البعض الذي هو (أ ب د) فكلّ (د أ) وكلّ (ب د) ، فنقول: كلّ (ب ج) وكلّ (ب د) فبعض (ج د) ، ثمّ نقول: بعض (ج د) وكلّ (د أ) فبعض (ج أ) ، وهو المطلوب.