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