أو بالخُلف بأن يجعل نقيض النتيجة بدل الصغرى لينتج المحال.

[و] الثالث

شرطه: مُوجبيّة الصغرى، وإلا لأمكن مُباينةُ الأصغر للأكبر، ومداخلته، وكلية إحداهما ليحصل الالتقاء.

فالمنتج ستة: ثلاثة من موجبتين، وثلاثة من موجبة وسالبة.