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