Note 124 — Erstes Buch.
Eugen Rolfes translation
Es ist notwendig, daß kein Mensch ein Pferd ist; es ist möglich, daß jedes Wache ein Pferd ist; also ist möglich, daß kein Waches ein Mensch ist. Beweis. Der Obersatz wird umgekehrt in: es ist notwendig, daß kein Pferd ein Mensch ist. Dann folgt die Konklusion in Celarent.