再者，第三格的三段论不能全部转换成第一格，尽管第一格的三段论可全部转换成第三格。让A属于所有B，属于某个C。那么，把特称肯定命题换位时，C也属于某个。但已经设定A属于所有B，所以我们便得到了第三格。
如果三段论是否定的，情况也相同；因为特称肯定判断可以转换，所以A不属于任何B，而C却属于某个B。
最后格中的三段论只有在一种情况下不能转换成第一格，即当否定前提不是全称的时。但所有其他形式都能作如此转换，让A和B都表述C，则C与它们每一个都换位成特称关系。因而它属于有些B。这样，我们就获得了第一格。如果A属于所有C，C属于有些B；如果A属于所有，B属于有些C，则道理也一样。因为B和C可以转换，如果B属于所有C，A属于有些C，则必须设定B是大词；因为B属于所有C，C属于有些A，所以B属于有些；因为特称论述是可以转换的，A也属于有些B。
如果三段论是否定的，要是两个前提都是全称的，则要按同样方式处理。让B属于所有C，A不属于任何C。那么C会属于有些B，A不属于任何C，所以C是中词。如果否定前提是全称的，肯定前提是特称的，则情况亦相同；因为A不属于任何C，C将属于有些B。但是，如果设定否定前提是特称的，那三段论就不能转换。例如，如果属于所有C，A不属于有些C；因为通过前提BC的转换，这两个前提都会是特称的。
很显然，为了使格与格之间可以互相转换，小前提在两个格中必须转换；因为正是通过这个前提的替换，才使得这个格变成另一个格。
中间格的三段论，一个可以转换为第三格，另一个则不行。当全称前提为否定时，还原是可能的；如果A不属于任何B，但属于有些C，那么这两个前提都同样可将A转换；所以，B不属于任何A，C属于有些A，A是中词。如果A属于所有B，但不属于有些C，则转换不可能。因为转换后，没有一个前提是全称的。
当否定前提为全称时，第三格的三段论也能转换成中间格。例如，如果A不属于任何C，B属于有些或所有C；因为这样一来，C不属于任何A，但属于某个B。但是，如果否定命题是特称的，则转换不可能，因为特称否定判断不能转换。
因此，很显然，这类三段论在这些格中不能转换，正如它们不能转换成第一格一样；当三段论被还原为第一格时，只有它们才是通过归谬法被证实的。
三段论怎样才能还原，格与格之间怎样才能互相转换，这些，我们通过上面的论述就清楚了。
在证实或反驳一个命题时，我们认为，“X不是Y”与“X是非Y”所表示的意义是不一样的，还是一样的这会造成很大的差别。例如，“不是白”是否与“是非白”的意义相同。因为它们表示不同的意思；对“是白”的否定并不是“是非白”，而是“不是白”。理由如下。
“他能行走”与“他能不走”、“它是白的”与“它是非白的”、“他知道善”与“他知道非善”，这些表述之间的联系都是一样的。因为“他知道善”与“他在认识善”没有差别；“他能够行走”与“他有能力行走”也没有差别。因此，与此相反的命题，“他不能够行走”与“他没有能力行走”也是相等同的。然而如果“他没有能力行走”的意思与“他有能力不行走”相同，那么这些属性也同时属于同一主体（因为同一个人既能行走，又能不行走，既知道善又知道非善）。但一个断定及其相反的形式却不能同时属于同一主体。因此，正如“不懂得善”与“懂得非善”不同一样，“是不善”与“不是善”也是不相同的。在一个可类推的系列中，如果一个对应项不同，则另一个对应项也不同。“是不相等”与“不是相等”也不相同。因为“是不相等”有一个特定的主体，即不相等的东西，但后者则没有。因此，并非每个事物都要么是相等，要么是不等，但每个事物都要么是相等，要么是非相等。
再者，“木头不是白的”与“它不是白木头”这两个命题不能属于同一主体；因为如果木头不是白的，它们是木头，但不是白木头的东西却不必然是木头。因此，很显然，“它是非善”并不是对“它是善”的否定。对每个事物，要么对它的肯定是真实的，要么对它的否定是真实的。如果否定不是真实的，那么肯定必定在某种意义上是真实的。但每个肯定都有一个否定；所以，对所讨论的肯定的否定是“它不是不善”。
这些词项相互间的联系是这样的。让A表示“是善的”，B表示“不是善的”，C表示“是不善的”（它归属于田，D表示“不是不善的”（这归属于A），则要么A要么会属于一切事物，但它们永远不可能都属于同一个主体；要么C要么D会属于一切事物，但它们永远不可能属于同一个主体。B也必定属于C所属于的一切事物。因为如果说“它是非白的”是真实的，那么说，“它不是白的”也是真的；但一个事物不可能同时是白又是非白。木头不可能同时是非白又是白。所以如果肯定不属于，则否定就属于。C并不总是属于B，根本不是木头的东西也不可能是白木头。反过来说，D也属于一切A所属于的事物；要么是C要么是D必定属于；但它不可能同时是非白和白，所以D属于；因为说白的事物不是不白的，这是真实的。但A不可能述说所有D。因为说不是木头的东西是A，即它是白木头，这是不真实的。因而D是真实的。但A，即它是白木头，是不真实的。很显然，A、C也不能属于同一主体，而B和则可以同时属于同一对象。
在这个排列中，缺失与肯定的联系是相同的。A表示“相等”，B表示“非相等”，C表示“不等”，D表示“非不等”。