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