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