Hindi Mathspeak Inference rules. Locale: hi, Style: Verbose.

0AXinference rule with conclusion upper X and 1 premiseअनुमान नियम निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
1AXinference rule with conclusion upper X and 1 premiseअनुमान नियम निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
2Xinference rule with conclusion upper X and 1 premiseअनुमान नियम निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
3XNinference rule label upper N with conclusion upper X and 1 premiseअनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
4Aaxiom upper Aअभिगृहीत कैपिटल ए
5empty axiomरिक्त अभिगृहीत
6AXNinference rule label upper N with conclusion upper X and 1 premiseअनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
7ABXNinference rule label upper N with conclusion upper X and 2 premisesअनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 2 पूर्वपक्ष
8ABCXNinference rule label upper N with conclusion upper X and 3 premisesअनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 3 पूर्वपक्ष
9NAXinference rule label upper N with conclusion upper X and 1 premiseअनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
10NABXinference rule label upper N with conclusion upper X and 2 premisesअनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 2 पूर्वपक्ष
11NABCXinference rule label upper N with conclusion upper X and 3 premisesअनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 3 पूर्वपक्ष
12AX1st premise axiom upper A१ला premise अभिगृहीत कैपिटल ए
13ABX1st premise axiom upper A 2nd premise axiom upper B१ला premise अभिगृहीत कैपिटल ए २रा premise अभिगृहीत कैपिटल बी
14ABCX1st premise axiom upper A 2nd premise axiom upper B 3rd premise axiom upper C१ला premise अभिगृहीत कैपिटल ए २रा premise अभिगृहीत कैपिटल बी ३रा premise अभिगृहीत कैपिटल सी