Hindi Mathspeak Inference rules.

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

0	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	अनुमान नियम निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
1	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	अनुमान नियम निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
2	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix}$	inference rule with conclusion upper X and 1 premise	अनुमान नियम निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
3	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 1 premise	अनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
4	$A$	axiom upper A	अभिगृहीत कैपिटल ए
5		empty axiom	रिक्त अभिगृहीत
6	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 1 premise	अनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
7	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 2 premises	अनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 2 पूर्वपक्ष
8	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix} N$	inference rule label upper N with conclusion upper X and 3 premises	अनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 3 पूर्वपक्ष
9	$N \begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	inference rule label upper N with conclusion upper X and 1 premise	अनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 1 पूर्वपक्ष
10	$N \begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	inference rule label upper N with conclusion upper X and 2 premises	अनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 2 पूर्वपक्ष
11	$N \begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	inference rule label upper N with conclusion upper X and 3 premises	अनुमान नियम सूचक पर्चा कैपिटल एन निष्कर्ष के साथ कैपिटल एक्स और 3 पूर्वपक्ष
12	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	1st premise axiom upper A	१ला premise अभिगृहीत कैपिटल ए
13	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	1st premise axiom upper A 2nd premise axiom upper B	१ला premise अभिगृहीत कैपिटल ए २रा premise अभिगृहीत कैपिटल बी
14	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	1st premise axiom upper A 2nd premise axiom upper B 3rd premise axiom upper C	१ला premise अभिगृहीत कैपिटल ए २रा premise अभिगृहीत कैपिटल बी ३रा premise अभिगृहीत कैपिटल सी