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