A proof using the rules is a sequence of judgments such that all premises are listed before a conclusion.
Ein Beweis mittels der Regeln ist eine Sequenz von Urteilen, so dass alle Prämissen vor den Schlüssen aufgelistet werden.