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