Consider the following premises. s <-> p. u_3 <-> p. Can we infer u_3 -> s from them?
 From u_3 <-> p we can infer u_3 -> p. From s <-> p we can infer p -> s. Finally, from u_3 -> p, p -> s we can infer u_3 -> s. Therefore, the answer is yes.