یہ استدلال درست نہیں:
ہر بلی جانور ہے۔
ہر کتا جانور ہے۔
لہٰذا ہر بلی کتا ہے۔
دونوں مقدمات درست ہونے کے باوجود نتیجہ غلط ہے۔ وجہ یہ ہے کہ ایک ہی وسیع جنس میں داخل ہونا دو الگ اصناف کے ایک ہونے کو ثابت نہیں کرتا۔ «جانور» دونوں مقدمات میں محمول ہونے سے شکلِ دوم تو بن گئی، مگر صحیح قیاس نہیں بنا۔
اسی لیے شکل کی پہچان اور ضرب کے منتج ہونے کا فیصلہ الگ کام ہیں۔ شکل ترتیبِ حدود سے بنتی ہے، جبکہ انتاج اضافی منطقی شرطوں پر موقوف ہے۔