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