Consider the following premises. w -> r_10. t_3. r -> w. ~r_10. t_3 -> u. Can we infer u and ~r from them?
 From t_3 -> u, t_3 we can infer u. From r -> w, w -> r_10 we can infer r -> r_10. From r -> r_10, ~r_10 we can infer ~r. Finally, from u, ~r we can infer u and ~r. Therefore, the answer is yes.