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