因此，很显然，当词项以这种方式联系时，三段论不能成立。因为每个三段论要么是实然的，要么是必然的，要么是可能的。在现在这种情况下显然没有实然或必然的三段论；肯定的要为否定结论所推翻，否定的要为肯定结论所推翻。这样就只剩下可能三段论。然而它也不可能，因为已经证明，无论是首项必然属于未项的所有部分，还是首项不可能属于未项的任何部分，词项间的联系总是这样的。所以，可能三段论不能成立。因为“必然”不是“可能”。
同样很清楚，当可能前提中的词项是全称的时，我们总是能得到一个第一格的三段论，无论它们都是肯定的，还是都是否定的。差别只是在于：当它们是肯定的时，三段论是完善的。当它们是否定的时；三段论是不完善的。
“可能”这一词必须按照已经给出的定义来理解，而不能理解为是指必然的东西。这一点往往被忽略。
如果一个前提是实然的，另一个是可能的，当大前提表示可能性时，一切三段论都是完善的，其“可能”的类型与上面所给出的定义相符合。但当小前提表示可能时，那么它们都是不完善的。并且，根据定义，否定三段论不是“可能”类型，而是不必然属于主项的任何或一切部分的东西；如果它不必然属于主项的任何或一切部分，那么我们说它不可能属于主项的任何或一切部分。
设定A可能属于所有B，B属于所有C。由于C归属于B，A可能属于所有B，那么显然，A可能属于所有C。
这样，我们就得到了一个完善的三段论。如果前提AB是否定的，
BC是肯定的，前者是可能的，后者是实然的，那么，同样会得到一个完善的三段论，结论是：A可能不属于任何C。
可见，当小前提是实然的时，我们就能得到一个完善的三段论。如若要证明三段论在相反的情况下也能产生，我们就要运用归谬法。同时，这些三段论都不完善这一点也非常明显，因为证明不是从原来设定的前提中得出的。
我们必须首先说明，如果当A存在时，B必然存在，那么，当A是可能的时，就必然可以推出，B是可能的。
为了确定A和B之间具有这样的联系（即A蕴涵B），让我们设定A是可能，B是不可能，那么，当可能的东西是可能存在时，可能便会产生。不可能的东西是不可能的，不可能却不会产生；同时，如果A可能，B不可能，那么没有B也可能生成；如果它生成，那么它就存在，因为当生成物已经生成时，它就存在。我们必须不仅联系到生成，而且要联系到真实的陈述、属性以及“可能”一词被使用的其他各种意义，来理解“可能”与“不可能”，因为在它们之中都可获得同样的规则。再者，我们不要认为，“如果A存在，则B
存在”就是说，只要确立“A存在”这样一个设定，则就存在；因为只确立一个设定，并不能必然地得出什么，至少需要两个前提才行，亦即前提之间的联系与我们在关于三段论时所说的一样。如果C述说D，D述说E，那么也必定述说E。此外，如果每个前提都是可能的，那么结论也是可能的。因而，设定A代表前提，B代表结论，则可以推出，不仅当A是必然的时，B是必然的，而且当A是可能的时，B也是可能的。
作为这一证明的结果，可见，如果一个设定是虚假的，但不是不可能的，那么通过这一设定达到的结果也是虚假的，但不是不可能的。例如，如果A是虚假的，但不是不可能的，并且如果A存在，则B也存在，那么B也将是虚假的，但不是不可能的。我们已经证明，如果A存在时，也存在。所以当A是可能的时，B也是可能的；由于已经确定A是可能的，所以B
也是可能的；如果它是不可能的，那么同一件事就会同时既可能又不可能。
搞清了这些要点后，让我们设定A属于任何B，B可能属于所有C，那么，必然地，A也可能属于所有C。设定它不可能属于，让B从属于所有C（这是虚假的，但不是不可能的）。然后，如果A不可能属于C，但B属于所有，那么A就不可能属于所有B。我们通过第三格获得了这一三段论。但根据设定，A可能属于所有B。因而必然可以推出，A可能属于所有C。从一个虽然不是不可能的但却是虚假的设定中，所推得的结论是不可能的。
我们也能通过第一格，通过设定B属于C来证明不可能性。如果B属于所有C，A可能属于所有B，那么A就可能属于所有C。但我们已经设定，它不可能属于所有C。
我们必须明白，“属于全体”并不具有时间性（例如，“现在”或“在这样一个时间里”），而是无条件的、总体的。我们正是在这种意义上设定前提才建立三段论的。如果所设定的前提与现在相关，那么三段论就不能成立。或许没有理由说明为什么在某个时候，例如没有其他事物被运动时，人不能属于一切被运动的事物；词项“被运动着的”可能属于所有马，而人却不可能属于任何马。让我们设定，大词是“动物”，中词是“被运动着的”，小词是“人”，则前提之间的联系将如同上述，但结论是必然的，不是可能的，因为人必然是一种动物。所以，很显然，全称前提必须在总体的意义上被设定，没有时间上的限制。
再者，设定AB是全称否定前提，设定A不属于任何，B可能属于所有C。由此必然可以推出，A不可能属于任何C。让我们设定它不可能不属于任何C，设定B与上面一样入属于所有C，则必然可得，A属于某些B。这样，我们通过第三格得到了一个三段论。但这是不可能的。
因此A不属于任何C是可能的，通过确立一个虚假的（但不是不可能的）设定，我们得到一个不可能的结论。这样，这个三段论并没有产生一个在已规定的意义上来说是“可能”的结论，而是证明了谓项不必然属于主项的全体，因为这跟我们所确立的设定是矛盾的。我们确定A必然属于某个。三段论通过归谬法确立了相矛盾的论断。