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