Consider the following premises. exists x: T(x) and U(x). forall x: R(x). Can we infer forall x: ~(R(x) and T(x)) from them?
 From exists x: T(x) and U(x) we can infer exists x: T(x). Finally, from forall x: R(x), exists x: T(x) we can infer exists x: R(x) and T(x), which contradicts forall x: ~(R(x) and T(x)). Therefore, the answer is no.