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अभिगृहीत कैपिटल ए
5axiomअभिगृहीत
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 पूर्वपक्ष