Consider the following premises. forall z: R(z) -> T_3(z). ~R(e). forall z: U(z) -> R(z). forall z: T_3(z) -> U(z). Can we infer U(e) from them?
 From forall z: R(z) -> T_3(z), forall z: T_3(z) -> U(z) we can infer forall z: R(z) -> U(z). From forall z: R(z) -> U(z), forall z: U(z) -> R(z) we can infer forall z: R(z) <-> U(z). From forall z: R(z) <-> U(z) we can infer R(e) <-> U(e). Finally, from R(e) <-> U(e), ~R(e) we can infer ~U(e), which contradicts U(e). Therefore, the answer is no.