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