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

Условие: Доказать выводимость формулы в исчислении секвенций: \[ \vdash A(\bar{B} \vee C) \rightarrow(A \bar{B} \vee C) \]