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