\end{prooftree}
\end{document}