第三格的OAO式
因为,有一前提特称,结论必特称;有一前提否定,结论必否定.前提之一是O命题（特称否定命题）,所以,结论必为O命题.
又因为,双特,双否都得不出结论,大前提是O命题（特称否定命题）,所以,小前提必是全称肯定命题,即A命题.所以,是OAO式.
因为两个前提中只有两个周延的位置,必然一个是大项的位置（因为,大项在结论中周延,所以必在前提中周延.）,一个是中项的位置（因为,中项在前提中至少周延一次）.所以,两中项在前提中都在主项的位置上,即第三格.