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