Consider the following premises. q. ~S_14(a_14). forall x_14: P_2(x_14) -> S_14(x_14). Can we infer ~P_2(a_14) and q from them?
 From forall x_14: P_2(x_14) -> S_14(x_14) we can infer P_2(a_14) -> S_14(a_14). From P_2(a_14) -> S_14(a_14), ~S_14(a_14) we can infer ~P_2(a_14). Finally, from ~P_2(a_14), q we can infer ~P_2(a_14) and q. Therefore, the answer is yes.