If Every Witness Tells the Truth, Then None of the Guilty

Multiple Choice

If every witness tells the truth, then none of the guilty defendants will be acquitted.

A) (x) {(Wx ⊃ Tx) ⊃ (x) [(Gx • Dx) ⊃ ∼Ax]}
B) (x) (Wx ⊃ Tx) ⊃ (∃x) [Gx • (Dx ⊃ ∼Ax) ]
C) (x) (Wx ⊃ Tx) ⊃ (x) [(Gx • Dx) ⊃ ∼Ax]
D) (x) {(Wx ⊃ Tx) ⊃ [(Gx • Dx) ⊃ ∼Ax]}
E) (∃x) (Wx • Tx) ⊃ (x) [(Gx • Dx) ⊃ ∼Ax]