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

265