Consider the following premises. q_9 or q. q_4 <-> q_9. ~p. p <-> q_4. Can we infer q from them?
 From p <-> q_4, ~p we can infer ~q_4. 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 q, ~q_9 we can infer q. Therefore, the answer is yes.