Consider the following premises. ~w -> q_10. ~q_16. q_10 -> r_10. w -> q_16. Can we infer ~r_10 from them?
 From w -> q_16, ~q_16 we can infer ~w. From ~w -> q_10, q_10 -> r_10 we can infer ~w -> r_10. Finally, from ~w -> r_10, ~w we can infer r_10, which contradicts ~r_10. Therefore, the answer is no.