What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? forall x_15: P_15(x_15) -> Q_15(x_15). forall x_15: Q_15(x_15) -> R_15(x_15). q_3 -> R_15(a_14). q_3 or P_15(a_14).
R_1(a_14) -> q_3. forall x_15: P_15(x_15) -> R_15(x_15).