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