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