Consider the following premises. q_9 <-> r. r or ~q_9. Can we infer ~(r -> q_9) from them?
 From r or ~q_9 we can infer q_9 -> r. Finally, from q_9 <-> r we can infer r -> q_9, which contradicts ~(r -> q_9). Therefore, the answer is no.