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