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