Pausa en el proyector en medio de una inferencia del paquete de prueba.

Question

tengo este codigo

\documentclass{beamer}
\usepackage{proof}
\begin{document}
\frame{
  \[
    \infer{\textrm{conclusion}}
    {
      \infer{\textrm{intermediate conclusion}}
      {\textrm{premises}}
      &
      \infer{\textrm{other conclusion}}
      {\textrm{other premises}}
    }
  \]
}
\end{document}

lo que produce un marco con

Me gustaría mostrar primero "otras premisas", luego agregar "otra conclusión", luego "premisas", luego "conclusión intermedia" y finalmente todo. Sin embargo, no puedo usarlo pauseya que el orden en el código es inverso y lo intenté de varias maneras con \onslide+<2->, que tampoco funcionó.

¿Alguna ayuda?

Aclaración:Preferiría que no aparecieran las líneas en las que aún no se han introducido las premisas/conclusiones. Deben aparecer en orden según sean necesarios. Por ejemplo, primero solo debe aparecer la oración "otras premisas", luego cuando aparece "otra conclusión", en ese momento debe mostrarse la línea entre ellas.

Answer 1

¿como esto?

\documentclass{beamer}
\usepackage{proof}
\begin{document}
\frame{
  \[
    \infer{\textrm{conclusion}}
    {
      \infer{\visible<5->{\textrm{intermediate conclusion}}}
      {\visible<4->{\textrm{premises}}}
      &
      \infer{\visible<3->{\textrm{other conclusion}}}
      {\visible<2->{\textrm{other premises}}}
    }
  \]
}
\end{document}

Answer 2

Encontre un camino.

\documentclass{beamer}
\usepackage{proof}

\begin{document}
\frame{
  \[
    \color{white}
    \color<5->{black}{
      \infer{\textrm{conclusion}}
      {
        {\color<4->{black}
          \infer{\textrm{intermediate conclusion}}
          {\color<3->{black}\textrm{premises}}
        }
        &
        {\color<2->{black}
        \infer{\textrm{other conclusion}}
        {\color{black}\textrm{other premises}}
      }
    }
  }
\]
}
\end{document}