Consider the following premises. p_2 -> u. ~u. p_15 or q. p_15 -> r_15. q -> r_15. Can we infer r_15 and ~p_2 from them?
 From p_15 -> r_15, q -> r_15, p_15 or q we can infer r_15. From p_2 -> u, ~u we can infer ~p_2. Finally, from r_15, ~p_2 we can infer r_15 and ~p_2. Therefore, the answer is yes.