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