Consider the following premises. u -> ~p_14. t -> u. p_14 and q_14. Can we infer t from them?
 From p_14 and q_14 we can infer p_14. From u -> ~p_14, p_14 we can infer ~u. Finally, from t -> u, ~u we can infer ~t, which contradicts t. Therefore, the answer is no.