Consider the following premises. p_16 -> w_1. s -> p_16. p_16 <-> t_3. ~p_11 or t_3. p_11 or s. Can we infer ~w_1 from them?
 From p_16 <-> t_3 we can infer t_3 -> p_16. From p_11 or s, ~p_11 or t_3 we can infer s or t_3. From s -> p_16, t_3 -> p_16, s or t_3 we can infer p_16. Finally, from p_16 -> w_1, p_16 we can infer w_1, which contradicts ~w_1. Therefore, the answer is no.