What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? p -> R(g_3). forall y: T(y) -> R(y). p or T(g_3). forall y: R(y) -> T(y).
R_1(g_3) -> p. forall y: T(y) <-> R(y). forall y: R(y) <-> T(y).