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