Consider the following premises. t_4 -> ~U(b). ~t_4 -> q. forall z: U(z). Can we infer q from them?
 From forall z: U(z) we can infer U(b). From t_4 -> ~U(b), U(b) we can infer ~t_4. Finally, from ~t_4 -> q, ~t_4 we can infer q. Therefore, the answer is yes.