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