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