如果一个有效三段论的大项和中项都周延两次，而小项一次也不周延，则该三段论一定属于第三格的EAO式