Use an indirect proof $($IP$)$ to solve the following problem. $(7$ pts$)$:

$20.1.$ B $($C $$ ~ B$)$

$2.$ A $($ B $$ C$)/$ ~ A v ~ B