假设在第一格中，人前提不是全称。根据规则，中项必须至少周延次，则其必在小前提中周延，而在第一格的小前提中，中项是谓项，这样小前提必须否定。从而结论也必须否定，结论中的谓项P周延，从而其在前提中也得周延。而P在大前提中是谓项，因而大前提必须否定。但这样就有两个否定前提了，因此，推不出结论。所以，人前提应该是全称。