Consider the following premises. ~P_14(a_13). forall x_14: Q_14(x_14) -> P_14(x_14). forall x_14: P_14(x_14) -> Q_14(x_14). p. Can we infer ~Q_14(a_13) from them?
 From forall x_14: P_14(x_14) -> Q_14(x_14), forall x_14: Q_14(x_14) -> P_14(x_14) we can infer forall x_14: P_14(x_14) <-> Q_14(x_14). From forall x_14: P_14(x_14) <-> Q_14(x_14) we can infer P_14(a_13) <-> Q_14(a_13). Finally, from P_14(a_13) <-> Q_14(a_13), ~P_14(a_13) we can infer ~Q_14(a_13). Therefore, the answer is yes.