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