Korean Mathspeak Inference rules.

Korean Mathspeak Inference rules. Locale: ko, Style: Verbose.

0	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	추론 규칙 결론은 대문자 X 이고 전제는 1 개
1	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	추론 규칙 결론은 대문자 X 이고 전제는 1 개
2	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix}$	추론 규칙 결론은 대문자 X 이고 전제는 1 개
3	$\begin{matrix} \begin{matrix} \end{matrix} \\ X \end{matrix} N$	추론 규칙 꼬리표 대문자 N 결론은 대문자 X 이고 전제는 1 개
4	$A$	공리 대문자 A
5		빈 공리
6	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix} N$	추론 규칙 꼬리표 대문자 N 결론은 대문자 X 이고 전제는 1 개
7	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix} N$	추론 규칙 꼬리표 대문자 N 결론은 대문자 X 이고 전제는 2 개
8	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix} N$	추론 규칙 꼬리표 대문자 N 결론은 대문자 X 이고 전제는 3 개
9	$N \begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	추론 규칙 꼬리표 대문자 N 결론은 대문자 X 이고 전제는 1 개
10	$N \begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	추론 규칙 꼬리표 대문자 N 결론은 대문자 X 이고 전제는 2 개
11	$N \begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	추론 규칙 꼬리표 대문자 N 결론은 대문자 X 이고 전제는 3 개
12	$\begin{matrix} \begin{matrix} A \end{matrix} \\ X \end{matrix}$	첫번째 전제 공리 대문자 A
13	$\begin{matrix} \begin{matrix} A & B \end{matrix} \\ X \end{matrix}$	첫번째 전제 공리 대문자 A 두번째 전제 공리 대문자 B
14	$\begin{matrix} \begin{matrix} A & B & C \end{matrix} \\ X \end{matrix}$	첫번째 전제 공리 대문자 A 두번째 전제 공리 대문자 B 세번째 전제 공리 대문자 C