التالي لو فرض منفردا بالحملية

مثال الضرب الأول من الشكل الأول

إن كان (ا) (ب) فكل (ج) (د)

وكل (د) (ه)

فإن كان (ا) (ب) فكل (ج) (ه)

ومثال الضرب الأول من الشكل الثاني

فإن كان (ا) (ب) فكل (ج) (د) ولا شيء من (ه) (د) فإن كان (ا) (ب) فلا شيء من (ج) (ه)

وعلى هذا القياس

وإنما أورد الشيخ هذا الاقتران لأن قياس الخلف ينحل إليه على ما سيأتي

والاقتران الثاني أن تكون الحملية صغرى والاشتراك أيضا في التالي والمتصلة موجبة كقولنا

مخ ۴۴۱