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