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