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