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