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