Consider the following premises. forall x_14: Q_14(x_14) -> R_13(x_14). forall x_14: P_14(x_14) -> R_13(x_14). forall x_14: P_14(x_14). w -> ~R_13(j). Can we infer w from them?
 From forall x_14: P_14(x_14) we can infer forall x_14: P_14(x_14) or Q_14(x_14). From forall x_14: P_14(x_14) -> R_13(x_14), forall x_14: Q_14(x_14) -> R_13(x_14), forall x_14: P_14(x_14) or Q_14(x_14) we can infer forall x_14: R_13(x_14). From forall x_14: R_13(x_14) we can infer R_13(j). Finally, from w -> ~R_13(j), R_13(j) we can infer ~w, which contradicts w. Therefore, the answer is no.