Consider the following premises. forall z_1: Q_4(z_1). forall z_1: P_10(z_1) or ~Q_4(z_1). forall z_1: P_10(z_1) or ~P(z_1). Can we infer ~Q(a) from them?
We cannot infer that from the premises. Therefore the answer is no.