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