问答题 写出第四格三段论的一般形式结构，并试用三段论的一般规则证明三段论第四格的大前提不能是O命题，小前提也不能是O命题。