Пауза в видеопроекторе в середине вывода из пакета доказательств

Question

У меня есть этот код

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

который создает кадр с

Я хотел бы сначала показать "другие предпосылки", затем добавить "другое заключение", затем "предпосылки", затем "промежуточное заключение" и, наконец, все это. Однако я не могу использовать, pauseтак как порядок в коде обратный, и я пробовал несколькими способами с \onslide+<2->, что тоже не сработало.

Любая помощь?

Пояснение:Я бы предпочел, чтобы строки, когда еще не введены посылки/выводы, не появлялись. Они должны появляться в том порядке, в котором они необходимы. Например, сначала должно появляться только предложение «другие посылки», затем, когда появляется «другой вывод», только тогда должна быть показана строка между ними.

Answer 1

так?

\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

Я нашел путь.

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