Consider the following premises. R_10(a_10) <-> u_1. u_1 <-> q_4. forall x_10: ~R_10(x_10). Can we infer ~q_4 from them?
 From forall x_10: ~R_10(x_10) we can infer ~R_10(a_10). From R_10(a_10) <-> u_1, ~R_10(a_10) we can infer ~u_1. Finally, from u_1 <-> q_4, ~u_1 we can infer ~q_4. Therefore, the answer is yes.