Consider the following premises. forall z_3: P(z_3). exists z_3: T(z_3) and W_1(z_3). Can we infer exists z_3: T(z_3) from them? If possible, name the inference rules being used at each step.
We can infer exists z_3: T(z_3) via the existential simplification rule. Therefore, the answer is yes.