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