需要加上这三条规则，三段论才会有效：对于换位法，除了原本的两个规则「不能改变原命题的肯否定」以及「原命题中不周延的项，换位后不可变周延」以外，还需加上这两项：原论述可分析如下，属 A→I 型：
示例.此推理必须假定独角兽存在，但由于独角兽实际上不存在，不适用「独角兽」集合非空的假定，此推论是错误的。原论述可分析如下，属 AAI-3 型：此推理必须假定时光机存在，由于时光机不存在，不适用「时光机」集合非空的假定，此推论是错误的。EAO-3型。AAI-4型。