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