Consider the following premises. t or ~t_3. t -> t_1. t_1 -> t_3. Can we infer ~(t_3 -> t) from them?
 From t -> t_1, t_1 -> t_3 we can infer t -> t_3. Finally, from t or ~t_3 we can infer t_3 -> t, which contradicts ~(t_3 -> t). Therefore, the answer is no.