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