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