6.1.2.2 Исчисление секвенций

Условие: Построить вывод секвенции в ИС: \[ (\varphi \rightarrow \psi),(\psi \rightarrow x) \vdash(\varphi \rightarrow x) . \]