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