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