Consider the following premises. p_6 -> S_14(c_1). p -> ~S_14(c_1). forall x_14: R_14(x_14) -> S_14(x_14). p_6 or R_14(c_1). Can we infer ~w_3 from them?
We cannot infer that from the premises. Therefore the answer is no.