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