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