新规则，一个规则和一个存在事实可以推出一个新的存在事实，两个存在事实什么也推不出来。A命题可以和所有四种命题一起工作。E命题还可以和I命题一起工作。两个E命题无法推理。E命题和O命题不能一起工作，因为推出的是两个否定的合取，不属于这四种命题之一（此为互斥前提谬误），IE的组合都得出P不包含于S结论，不属于四种命题之一。有效的论式在AA、AE、EA、AI、IA、EI、AO、OA这8种组合和4种格共32种情况中检验。首先是推出新规则的推理。第1格和第4格的中项分别位于两前提的主词和谓词位置上，所以是可直接推