Problem $6$

Complete the following derivation using the following selection of inference rules. As you work on the

problem, think about which derived rules had to be included in order to make possible the patterns of

inference embodied by the basic rules that were omitted. Rules: &II &EL$,$ VIR, $E,$notI,${?}_{|}{?}_{\text{I}},$DNE,

Comm&$,$ CommV, DSR$,$ DeM, MT$,$ HS$,$ Def $$ I.

Launch this problem