Consider the following premises. ~P_13(a_12). forall x_13: P_13(x_13). Can we infer ~Q_13(a_12) from them?
The premises are contradictory and we can infer anything from them. Therefore, the answer is yes.