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