Consider the following premises. w. forall x_12: P(x_12) -> Q_12(x_12). ~P(a_11). forall x_12: Q_12(x_12) -> P(x_12). Can we infer ~P(a_11) from them?
That is one of the premises. Therefore, the answer is yes.