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