## Danish Mathspeak Inference rules. Locale: da, Style: Verbose.

 0 $\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule with conclusion upper X and 1 premise inferensregel med konklusion stort X og 1 præmis 1 $\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule with conclusion upper X and 1 premise inferensregel med konklusion stort X og 1 præmis 2 $\begin{array}{c}\begin{array}{c}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule with conclusion upper X and 1 premise inferensregel med konklusion stort X og 1 præmis 3 $\begin{array}{c}\begin{array}{c}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}\text{N}$ inference rule label upper N with conclusion upper X and 1 premise inferensregel label stort N med konklusion stort X og 1 præmis 4 $\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}$ axiom upper A aksiom stort A 5 $\phantom{\rule{.5ex}{0ex}}\phantom{\rule{.5ex}{0ex}}$ empty axiom tom aksiom 6 $\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}\text{N}$ inference rule label upper N with conclusion upper X and 1 premise inferensregel label stort N med konklusion stort X og 1 præmis 7 $\begin{array}{c}\begin{array}{ccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}\text{N}$ inference rule label upper N with conclusion upper X and 2 premises inferensregel label stort N med konklusion stort X og 2 præmisser 8 $\begin{array}{c}\begin{array}{ccccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}C\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}\text{N}$ inference rule label upper N with conclusion upper X and 3 premises inferensregel label stort N med konklusion stort X og 3 præmisser 9 $\text{N}\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule label upper N with conclusion upper X and 1 premise inferensregel label stort N med konklusion stort X og 1 præmis 10 $\text{N}\begin{array}{c}\begin{array}{ccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule label upper N with conclusion upper X and 2 premises inferensregel label stort N med konklusion stort X og 2 præmisser 11 $\text{N}\begin{array}{c}\begin{array}{ccccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}C\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ inference rule label upper N with conclusion upper X and 3 premises inferensregel label stort N med konklusion stort X og 3 præmisser 12 $\begin{array}{c}\begin{array}{c}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 1st premise axiom upper A 1. præmis aksiom stort A 13 $\begin{array}{c}\begin{array}{ccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 1st premise axiom upper A 2nd premise axiom upper B 1. præmis aksiom stort A 2. præmis aksiom stort B 14 $\begin{array}{c}\begin{array}{ccccc}\phantom{\rule{.5ex}{0ex}}A\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}B\phantom{\rule{.5ex}{0ex}}& & \phantom{\rule{.5ex}{0ex}}C\phantom{\rule{.5ex}{0ex}}\end{array}\\ \phantom{\rule{.5ex}{0ex}}X\phantom{\rule{.5ex}{0ex}}\end{array}$ 1st premise axiom upper A 2nd premise axiom upper B 3rd premise axiom upper C 1. præmis aksiom stort A 2. præmis aksiom stort B 3. præmis aksiom stort C