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