证明： 如果结论是全称肯定判断， 那么小项在结论中周延， 根据规则三， 小项在前提中也必须周延， 在第四格中， 小项是小前提的谓项， 因此小前提必须是否定的。 这样， 根据规则五， 则结论也应该是否定的。 这与假设矛盾。 所以假设不成立， 结论不能是全称肯定判断。