Consider the following premises. ~w. ~p_4 or r_22. s_3. p_4 or w. p -> ~s_3. Can we infer p from them?
 From p_4 or w, ~p_4 or r_22 we can infer w or r_22. From w or r_22, ~w we can infer r_22. From s_3, r_22 we can infer s_3 and r_22. From s_3 and r_22 we can infer s_3. Finally, from p -> ~s_3, s_3 we can infer ~p, which contradicts p. Therefore, the answer is no.