Consider the following premises. forall y: T(y) -> Q_3(y). forall y: Q_3(y) <-> Q(y). forall y: Q_3(y) -> T(y). p -> T(d). forall y: ~Q(y). Can we infer ~w from them?
We cannot infer that from the premises. Therefore the answer is no.