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