Consider the following premises. exists x: W(x) -> S(x). forall x: S(x) <-> W(x). forall x: W(x) <-> S(x). Can we infer forall x: ~(W(x) <-> S(x)) from them?
That contradicts the premises. Therefore the answer is no.