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