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