证明：假设一个有效三段论的大项在前提中周延，但在结论中不周延，则该三段论的结论为肯定判断；根据三段论的基本规则五，可得该三段论的两个前提均为肯定判断；；根据三段论的基本规则二，中项至少必须周延一次，这样前提中至少有两个周延的项，因此，该三段论的两个前提必定为A判断；考虑大项在前提中周延，那么大前提必定是PAM；这样，小前提必定是MAS，结论必定为SIP。因此，该三段论为第四格AAI式。
证明：假设一个有效三段论的大项在前提中周延，但在结论中不周延，则该三段论的结论为肯定判断；根据三段论的基本规则五，可得该三段论的两个前提均为肯定判断；；根据三段论的基本规则二，中项至少必须周延一次，这样前提中至少有两个周延的项，因此，该三段论的两个前提必定为A判断；考虑大项在前提中周延，那么大前提必定是PAM；这样，小前提必定是MAS，结论必定为SIP。因此，该三段论为第四格AAI式。
