Consider the following premises. u_4 -> u_1. w -> u_4. t -> w. u_1 -> p. p -> t. Can we infer p -> u_4 from them?
 From p -> t, t -> w we can infer p -> w. Finally, from p -> w, w -> u_4 we can infer p -> u_4. Therefore, the answer is yes.