Consider the following premises. s -> ~w. s <-> q_1. w. Can we infer ~q_1 from them?
 From s -> ~w, w we can infer ~s. From s <-> q_1 we can infer q_1 -> s. Finally, from q_1 -> s, ~s we can infer ~q_1. Therefore, the answer is yes.