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