Pause im Beamer inmitten einer Schlussfolgerung aus dem Proof-Paket

Question

Ich habe diesen Code

\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}

Das Ergebnis ist ein Rahmen mit

Ich möchte zuerst "andere Prämissen" anzeigen, dann "andere Schlussfolgerung" hinzufügen, dann "Prämissen", dann "Zwischenschlussfolgerung" und schließlich das Ganze. Ich kann jedoch nicht verwenden, pauseda die Reihenfolge im Code umgekehrt ist, und ich habe es auf verschiedene Weise mit versucht \onslide+<2->, was auch nicht funktioniert hat.

Irgendeine Hilfe?

Klärung:Mir wäre es lieber, wenn die Zeilen, in denen die Prämissen/Schlussfolgerungen noch nicht eingeführt sind, nicht erscheinen würden. Sie sollten in der Reihenfolge erscheinen, in der sie benötigt werden. Beispielsweise sollte zuerst nur der Satz „andere Prämissen“ erscheinen, und dann, wenn „andere Schlussfolgerung“ erscheint, sollte erst dann die Zeile dazwischen angezeigt werden.

Answer 1

so was?

\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

Ich habe einen Weg gefunden.

\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}