Afrikaans Mathspeak Inference rules. Locale: af, Style: Verbose.

0AXinference rule with conclusion upper X and 1 premiseinference rule with conclusion großes X and 1 premise
1AXinference rule with conclusion upper X and 1 premiseinference rule with conclusion großes X and 1 premise
2Xinference rule with conclusion upper X and 1 premiseinference rule with conclusion großes X and 1 premise
3XNinference rule label upper N with conclusion upper X and 1 premiseinference rule label großes N with conclusion großes X and 1 premise
4Aaxiom upper Aaxiom großes A
5empty axiomempty axiom
6AXNinference rule label upper N with conclusion upper X and 1 premiseinference rule label großes N with conclusion großes X and 1 premise
7ABXNinference rule label upper N with conclusion upper X and 2 premisesinference rule label großes N with conclusion großes X and 2 premises
8ABCXNinference rule label upper N with conclusion upper X and 3 premisesinference rule label großes N with conclusion großes X and 3 premises
9NAXinference rule label upper N with conclusion upper X and 1 premiseinference rule label großes N with conclusion großes X and 1 premise
10NABXinference rule label upper N with conclusion upper X and 2 premisesinference rule label großes N with conclusion großes X and 2 premises
11NABCXinference rule label upper N with conclusion upper X and 3 premisesinference rule label großes N with conclusion großes X and 3 premises
12AX1st premise axiom upper A1. premise axiom großes A
13ABX1st premise axiom upper A 2nd premise axiom upper B1. premise axiom großes A 2. premise axiom großes B
14ABCX1st premise axiom upper A 2nd premise axiom upper B 3rd premise axiom upper C1. premise axiom großes A 2. premise axiom großes B 3. premise axiom großes C