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