ومثال الثالث : كل إنسان حيوان ، وبعض الناس كاتب ، يلزم : بعض الحيوان كاتب.

ورابعها : سابقة مثبتة كلية ، ولاحقة منفية كلية.

وخامسها : سابقة مثبتة بعضية ، ولاحقة منفية كلية.

وسادسها : سابقة مثبتة كلية ، ولاحقة منفية بعضية ، والحاصل في هذه الثلاثة نفي بعضي.

مثال الرابع : كل إنسان حيوان ، ولا إنسان بفرس ، يلزم بعض الحيوان ليس بفرس.

ومثال الخامس : بعض الحيوان أبيض ، ولا حيوان بحجر ، يلزم بعض البيض ليس بحجر.

ومثال السادس : كل إنسان ناطق ، وبعض الناس ليس بكاتب ، يلزم بعض الناطقين ليس بكاتب.

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

الصورة الرابعة وأضربها :

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

مثال الأول : كل إنسان حيوان ، وكل ناطق إنسان ، يلزم منه : بعض الحيوان ناطق. ومثال الضرب الثاني : كل إنسان ناطق ، وبعض السود إنسان ، يلزم منه : بعض الناطق أسود.