Consider the following premises. ~q. w_1 -> w. r_6 -> q. w -> r_6. Can we infer ~w_1 from them?
 From w_1 -> w, w -> r_6 we can infer w_1 -> r_6. From w_1 -> r_6, r_6 -> q we can infer w_1 -> q. Finally, from w_1 -> q, ~q we can infer ~w_1. Therefore, the answer is yes.