German Mathspeak Inference rules.

German Mathspeak Inference rules. Locale: de, Style: Verbose.

0	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	Schlussregel mit Folgerung großes X aus 1 Prämisse
1	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	Schlussregel mit Folgerung großes X aus 1 Prämisse
2	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix}$	Schlussregel mit Folgerung großes X aus 1 Prämisse
3	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix} N$	Schlussregel Regel großes N mit Folgerung großes X aus 1 Prämisse
4	$A$	Axiom großes A
5		leeres Axiom
6	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix} N$	Schlussregel Regel großes N mit Folgerung großes X aus 1 Prämisse
7	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix} N$	Schlussregel Regel großes N mit Folgerung großes X aus 2 Prämissen
8	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix} N$	Schlussregel Regel großes N mit Folgerung großes X aus 3 Prämissen
9	$N \begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	Schlussregel Regel großes N mit Folgerung großes X aus 1 Prämisse
10	$N \begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	Schlussregel Regel großes N mit Folgerung großes X aus 2 Prämissen
11	$N \begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	Schlussregel Regel großes N mit Folgerung großes X aus 3 Prämissen
12	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	1. Prämisse Axiom großes A
13	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	1. Prämisse Axiom großes A 2. Prämisse Axiom großes B
14	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	1. Prämisse Axiom großes A 2. Prämisse Axiom großes B 3. Prämisse Axiom großes C