The Following Argument Is an Instance of One of the Five

Multiple Choice

The following argument is an instance of one of the five inference forms MP, MT, HS, DS, Conj.Identify the form. $$\begin{array} { l } { [ ( \mathrm { G } \cdot \mathrm { R } ) \equiv ( \mathrm { S } \supset \mathrm { P } ) ] \supset ( \mathrm { N } \cdot \mathrm { G } ) } \\\sim ( \mathrm { N } \cdot \mathrm { G } ) \\\sim [ ( \mathrm { G } \cdot \mathrm { R } ) \equiv ( \mathrm { S } \supset \mathrm { P } ) ]\end{array}$$

A) MP
B) MT
C) HS
D) DS
E) Conj