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