Some Materialist Empiricists Are Either Libertarians or Hard Determinists B)

Some materialist empiricists are either libertarians or hard determinists. But no empiricist is a hard determinist. So some materialists are libertarians.
-Which of the following is the best translation into M of this argument?

A) $\begin{array} { l } ( \exists \mathrm { x } ) [ ( \mathrm { Mx } \cdot \mathrm { Ex } ) \cdot ( \mathrm { Lx } \vee \mathrm { Dx } ) ] \\\sim ( \forall \mathrm { x } ) ( \mathrm { Ex } \supset \mathrm { Dx } ) \quad \quad \quad \quad \quad / ( \exists \mathrm { x } ) ( \mathrm { Mx } \cdot \mathrm { Lx } ) \\\end{array}$
B) $\begin{array} { l } ( \exists \mathrm { x } ) [ ( \mathrm { Mx } \cdot \mathrm { Ex } ) \cdot ( \mathrm { Lx } \vee \mathrm { Dx } ) ] \\\sim ( \forall \mathrm { x } ) ( \mathrm { Ex } \supset \mathrm { Dx } ) \quad\quad \quad \quad \quad \quad / ( \exists \mathrm { x } ) ( \mathrm { Mx } \supset \mathrm { Lx } ) \\\end{array}$
C) $\begin{array} { l l } ( \exists \mathrm { x } ) [ ( \mathrm { Mx } \vee \mathrm { Ex } ) \cdot ( \mathrm { Lx } \vee \mathrm { Dx } ) ] & \\( \forall \mathrm { x } ) ( \mathrm { Ex } \supset \sim \mathrm { Dx } ) & / ( \exists \mathrm { x } ) ( \mathrm { Mx } \cdot \mathrm { Lx } ) \end{array}$
D) $\begin{array} { l } ( \exists \mathrm { x } ) [ ( \mathrm { Mx } \cdot \mathrm { Ex } ) \vee ( \mathrm { Lx } \cdot \mathrm { Dx } ) ] \\( \forall \mathrm { x } ) ( \mathrm { Ex } \supset \sim \mathrm { Dx } ) \quad / ( \exists \mathrm { x } ) ( \mathrm { Mx } \supset \mathrm { Lx } ) \\\end{array}$
E) $\begin{array} { l } ( \exists \mathrm { x } ) [ ( \mathrm { Mx } \cdot \mathrm { Ex } ) \cdot ( \mathrm { Lx } \vee \mathrm { Dx } ) ] \\( \forall \mathrm { x } ) ( \mathrm { Ex } \supset \sim \mathrm { Dx } ) \quad / ( \exists \mathrm { x } ) ( \mathrm { Mx } \cdot \mathrm { Lx } ) \\\end{array}$