Aus der Voraussetzung und der Konjunktionsregel (Fakt (1)) ergibt sich
Daraus und aus der Voraussetzung
ergibt sich mittels Modus ponens (Fakt (3))