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