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