Italian Mathspeak Inference rules.

Italian Mathspeak Inference rules. Locale: it, Style: Verbose.

0	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	regola di inferenza con conclusione X maiuscola e 1 premessa
1	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	regola di inferenza con conclusione X maiuscola e 1 premessa
2	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix}$	regola di inferenza con conclusione X maiuscola e 1 premessa
3	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix} N$	regola di inferenza etichetta N maiuscola con conclusione X maiuscola e 1 premessa
4	$A$	assioma A maiuscola
5		assioma vuoto
6	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix} N$	regola di inferenza etichetta N maiuscola con conclusione X maiuscola e 1 premessa
7	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix} N$	regola di inferenza etichetta N maiuscola con conclusione X maiuscola e 2 premesse
8	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix} N$	regola di inferenza etichetta N maiuscola con conclusione X maiuscola e 3 premesse
9	$N \begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	regola di inferenza etichetta N maiuscola con conclusione X maiuscola e 1 premessa
10	$N \begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	regola di inferenza etichetta N maiuscola con conclusione X maiuscola e 2 premesse
11	$N \begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	regola di inferenza etichetta N maiuscola con conclusione X maiuscola e 3 premesse
12	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	1a premise assioma A maiuscola
13	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	1a premise assioma A maiuscola 2a premise assioma B maiuscola
14	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	1a premise assioma A maiuscola 2a premise assioma B maiuscola 3a premise assioma C maiuscola