Consider the following premises. forall x_3: S(x_3) -> W_2(x_3). forall x_3: W_2(x_3) -> S(x_3). S(g) -> W_2(g). Can we infer ~(S(g) -> W_2(g)) from them?
That contradicts the premises. Therefore the answer is no.