Consider the following premises. t <-> q_11. ~p_3. t -> q_11. p_3 <-> q_11. Can we infer ~t from them?
 From t <-> q_11 we can infer q_11 -> t. From t -> q_11, q_11 -> t we can infer t <-> q_11. From p_3 <-> q_11, ~p_3 we can infer ~q_11. Finally, from t <-> q_11, ~q_11 we can infer ~t. Therefore, the answer is yes.