Consider the following premises. ~q_13. t_3 -> p_11. q -> q_13. p_11 <-> q. p_11 <-> t_3. Can we infer ~t_3 from them?
 From q -> q_13, ~q_13 we can infer ~q. From p_11 <-> q, ~q we can infer ~p_11. From p_11 <-> t_3 we can infer p_11 -> t_3. From p_11 -> t_3, t_3 -> p_11 we can infer p_11 <-> t_3. Finally, from p_11 <-> t_3, ~p_11 we can infer ~t_3. Therefore, the answer is yes.