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