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