\documentstyle{article}
\input{prooftree}
\input{tcom}

\begin{document}
  \input{nall1}
\input{nall2}
\end{document}
