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