در شکل چهارم، ضرب چهارم و پنجم با دليل عکس دو مقدمه اثبات مىشود، زيرا کبراى اين دو ضرب، سالبه کلیه است و با انعکاس دو مقدمه، کليت کبرا (که شرط صحت شکل اول است) محفوظ مىماند. مثال از ضرب چهارم شکل چهارم آورده ميشود: قياس اصل: همه انسانها حيواناند و هيچ اسبى انسان نيست، پس بعضى از حيوانها اسب نيستند. دليل عکس مقدمتين: بعضى حيوانها انساناند و هيچ انسانى اسب نيست؛ پس بعضى حيوانها اسب نيستند؛ و اين، شکل اول و بديهى الانتاج است.