自动编号证明行

Question

我有以下代码来生成 Fitch 风格的证明（用于 MathJax）。

\def\fitch#1#2{\quad\begin{array}{|l}#1\\\hline#2\end{array}}
\fitch{A \to B \\ B \to C \\C \to D}{
    A \to B\\
    B \to C\\
    \fitch{A}{
        B \\
        C \\
    }\\
    A \to C
}\\

是否可以对其进行修改以便以这种方式自动编号每一行？

是否有任何环境、宏或者我可以采取其他方法？