Consider the following premises. R_14(a_14) or p_3. p_3 -> w_4. forall x_14: ~R_14(x_14). Can we infer ~w_4 from them?
 From forall x_14: ~R_14(x_14) we can infer ~R_14(a_14). From R_14(a_14) or p_3, ~R_14(a_14) we can infer p_3. Finally, from p_3 -> w_4, p_3 we can infer w_4, which contradicts ~w_4. Therefore, the answer is no.