$6\mathrm{.}3$

$(12)$

Using the natural deduction rules, give a formal proof of $(A[BC])harr([A^{{?}^{?}}B]C)$ from no premises.