Consider the following premises. q. q -> q_10. forall x_20: R_20(x_20) and S_20(x_20). Can we infer ~q_10 from them?
 From forall x_20: R_20(x_20) and S_20(x_20) we can infer R_20(c_3) and S_20(c_3). Finally, from q -> q_10, q we can infer q_10, which contradicts ~q_10. Therefore, the answer is no.