Consider the following premises. u_2 -> q_1. p_9 <-> s. ~s. q_1 -> p_9. Can we infer u_2 from them?
 From p_9 <-> s, ~s we can infer ~p_9. From u_2 -> q_1, q_1 -> p_9 we can infer u_2 -> p_9. Finally, from u_2 -> p_9, ~p_9 we can infer ~u_2, which contradicts u_2. Therefore, the answer is no.