1 (∀X)(∀y)(∃z)Sf(x)yz
2 $\lor$ Mzyx)]
-Which of the Following Propositions Is Derivable from the

1. (∀x) (∀y) (∃z) Sf(x) yz
2. (∀x) (∀y) (∀z) [Sxyz ⊃ ∼(Cxyz $\lor$ Mzyx) ]
-Which of the following propositions is derivable from the given premises in FF?

A) (∃x) (∃y) (∃z) ∼Cxf(y) g(f(y) ,z)
B) (∃x) (∃y) (∃z) ∼Cxf(x) f(f(x) )
C) (∃x) (∃y) (∃z) ∼Mf(x) yz
D) (∃x) (∃y) (∃z) ∼Mzg(y) f(g(x) )
E) (∃x) (∃y) (∃z) ∼Mzg(x) f(g(x) )