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