Consider the following premises. p -> w. u -> t. w -> u. t -> p. Can we infer u -> p from them? If possible, name the inference rules being used at each step.
 From p -> w, w -> u we can infer p -> u via transitivity. Finally, from u -> t, t -> p we can infer u -> p via transitivity. Therefore, the answer is yes.