Consider the following premises. q_2. p -> ~q_2. t_4 <-> p. p -> t_4. Can we infer ~t_4 from them?
 From t_4 <-> p we can infer t_4 -> p. From p -> t_4, t_4 -> p we can infer p <-> t_4. From p -> ~q_2, q_2 we can infer ~p. Finally, from p <-> t_4, ~p we can infer ~t_4. Therefore, the answer is yes.