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