Nach Axiom (3) ist
Die beiden Bestandteile des Vordersatzes gelten nach Fakt, so dass auch ihre Konjunktion ableitbar ist. Daher ist auch der Nachsatz ableitbar.