‘logicproof’ 环境的全局水平间距

Question

我希望在 中的声明和对齐方式之间有全局间距logicproof。它应该保留对齐方式/右侧列的对齐方式。像这样：

这是我的代码

\documentclass{article}
\usepackage{logicproof}

\begin{document}
I take it that...

\begin{logicproof}{0}
(P \rightarrow (Q \rightarrow P)) & premise%
\end{logicproof}

and then going...
\end{document}

这使