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