$6\mathrm{.}4$

$(14)$

Using the natural deduction rules, give a formal proof of:

AharrnotB from premises

AvvBvvC

$B(A$notC$)$

AharrC