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