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