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