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 개