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

0AXregola di inferenza con conclusione X maiuscola e 1 premessa
1AXregola di inferenza con conclusione X maiuscola e 1 premessa
2Xregola di inferenza con conclusione X maiuscola e 1 premessa
3XNregola di inferenza etichetta N maiuscola con conclusione X maiuscola e 1 premessa
4Aassioma A maiuscola
5assioma
6AXNregola di inferenza etichetta N maiuscola con conclusione X maiuscola e 1 premessa
7ABXNregola di inferenza etichetta N maiuscola con conclusione X maiuscola e 2 premesse
8ABCXNregola di inferenza etichetta N maiuscola con conclusione X maiuscola e 3 premesse
9NAXregola di inferenza etichetta N maiuscola con conclusione X maiuscola e 1 premessa
10NABXregola di inferenza etichetta N maiuscola con conclusione X maiuscola e 2 premesse
11NABCXregola di inferenza etichetta N maiuscola con conclusione X maiuscola e 3 premesse