Consider the following premises. r_4 -> ~p_17. u_2 -> q. p_17 and w. ~r_4 -> q. Can we infer q from them?
 From p_17 and w we can infer p_17. From r_4 -> ~p_17, p_17 we can infer ~r_4. From ~r_4 we can infer ~r_4 or u_2. Finally, from ~r_4 -> q, u_2 -> q, ~r_4 or u_2 we can infer q. Therefore, the answer is yes.