根据如果小前提是否定的，那么根据规则五，结论也是否定的，这样大项在结论中周延。根据规则三，大项在大前提中也必须周延。在第一格中，大项是大前提的谓项，大项要在大前提中周延，则大前提必须是否定的。根据规则四，两个否定前提推不出结论。所以假设不成立，小前提毖须是肯定的，小前提是肯定的，在第一格中，小前提的谓项是中项，这样中项在小前提中不周延。根据规则二，中项在大前提中必须周延，在第一格中，中项是大前提的主项。所以，大前提必须是全称的。