用三段论规则证明：第四格的大小前提均不能是O命题。