Consider the following premises. ~U(d_3). forall z: U(z) -> T(z). ~T(d_3) -> w_4. forall z: T(z) -> U(z). Can we infer w_1 from them?
We cannot infer that from the premises. Therefore the answer is no.