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