Consider the following premises. ~r_10. u_1 -> w_4. w_4 -> r_10. q. q -> q_15. Can we infer u_1 from them?
 From q -> q_15, q we can infer q_15. From u_1 -> w_4, w_4 -> r_10 we can infer u_1 -> r_10. Finally, from u_1 -> r_10, ~r_10 we can infer ~u_1, which contradicts u_1. Therefore, the answer is no.