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