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