Consider the following premises. q_10 -> q. p_10 -> q. p_10. u_2. Can we infer ~q from them?
 From p_10 we can infer p_10 or q_10. Finally, from p_10 -> q, q_10 -> q, p_10 or q_10 we can infer q, which contradicts ~q. Therefore, the answer is no.