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