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