Consider the following premises. p_14 or w_3. ~w_3 or p. ~p_14 or s. ~s. Can we infer ~p from them?
 From p_14 or w_3, ~p_14 or s we can infer w_3 or s. From w_3 or s, ~w_3 or p we can infer s or p. Finally, from s or p, ~s we can infer p, which contradicts ~p. Therefore, the answer is no.