若大前提是肯定命题，且小前提不是全称命题，可知，大前提中谓项必不周延，小前提的主项不周延。　　

由第四格的形式可知，大前提的谓项和小前提的主项都为中项。

根据规则，中项在两前提中至少周延一次，可知，若大前提是肯定命题，且小前提不是全称命题，就套犯中项不周延的错误。

所以，假设不成立.即若大前提是肯定命题，小前提必须是全称命题。