Consider the following premises. u_4 or q. forall x_10: ~R_10(x_10). R_10(a) <-> u_4. Can we infer ~q from them?
 From forall x_10: ~R_10(x_10) we can infer ~R_10(a). From R_10(a) <-> u_4, ~R_10(a) we can infer ~u_4. Finally, from u_4 or q, ~u_4 we can infer q, which contradicts ~q. Therefore, the answer is no.