Consider the following premises. ~w or u_4. ~s. s or w. Can we infer p_4 or u_4 from them?
 From s or w, ~s we can infer w. From w we can infer w or p_4. Finally, from w or p_4, ~w or u_4 we can infer p_4 or u_4. Therefore, the answer is yes.