好看的逻辑推导

Question

我正在为逻辑类进行推导，我希望我的图表看起来像这样：

这是我对该natded包的尝试：

\documentclass{article}

% https://mirrors.rit.edu/CTAN/macros/latex/contrib/natded/natded.pdf
\usepackage{natded}
\usepackage{soul}
\usepackage{amsmath}

\begin{document}
$\Jproof {
        \vspace{-0.25cm}
        \proofline {\text{\st{Show} } P \to \lnot R}{}
        \cablk {
            \proofline {P}{ass cd}
            \proofline {\text{\st{Show} } \lnot R}{}
            \cablk {
                \proofline {\lnot Q}{pr1 2 mp}
                \proofline {\lnot R}{pr2 4 mt}
                \proofline { }{5 dd}
            }
            \proofline { }{3 cd}
        }}$
\end{document}

上述内容呈现如下：

它不是很理想，因为每行的间距不均匀，并且嵌套的框之间留有太多空间。

以下是使用该logicproof包的一个示例：

\documentclass{article}

% http://ctan.math.utah.edu/ctan/tex-archive/macros/latex/contrib/logicproof/logicproof.pdf
\usepackage{logicproof}
\usepackage{soul}
\usepackage{amsmath}

\begin{document}
\begin{logicproof}{2}
    \text{\st{Show} } P \to \lnot R & \\
    \begin{subproof}
        P & ass cd \\
        \text{\st{Show} } \lnot R & \\
        \begin{subproof}
            \lnot Q & pr1 2 mp \\
            \lnot R & pr2 4 mt \\
            & 5 dd
        \end{subproof}
        & 3 cd
    \end{subproof}
\end{logicproof}
\end{document}

方框间距合适，线条均匀。但是，我不确定它是否支持开箱即用的缩进，并且它在子校样后不能以空行结束。有人能帮忙修复示例natded或使logicproof示例可用吗？谢谢阅读！