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