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