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