و بيان ضروب منتج بر اين منوال كنند- ضرب اول قراين اين است كل ج ب و لا شى‌ء من ا ب- كبرى منعكس كنيم لا شى‌ء من ب ا باشد- تا ضرب دوم شكل اول شود- و نتيجه دهد فلا شى‌ء من ج ا- و بخلف گوئيم اگر اين نتيجه صادق نبود- نقيضش بعض ج ا صادق بود- كبرى باو اضافت كنيم از رابع شكل اول نتيجه دهد- ليس بعض ج ب و اين نقيض صغرى است- و چون صغرى صادق فرض كرده‌ايم- اين نتيجه كاذب بود- و سبب كذبش نه صورت قياس است- و نه از جهت كبرى كه صادق فرض كرده‌ايم- پس از آن جهت صغرى‌