Zuerst lösen wir die Implikation $xRy\Rightarrow \mathrm{\neg }yRxxRy\backslash Rightarrow\backslash neg\; yRx$ auf:Anschließend können wir die Regel von de Morgan anwenden:Nun betrachten wir den Fall, wenn diese Formel erfüllt, also $truetrue$ ist. Dementsprechend gilt:Da eine Implikation immer $truetrue$ ist, wenn ihr linker Teil (eben genau $xRy\wedge yRxxRy\backslash wedge\; yRx$) $falsefalse$ ergibt. Wie gezeigt gilt dies, wenn $xRy\Rightarrow \mathrm{\neg }yRxxRy\backslash Rightarrow\; \backslash neg\; yRx$ gilt.