若一个有效三段论的大项在前提中周延，但在结论中不周延，试证明该三段论的形式是第四格AAI式。