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