What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? ~R(g). forall x_1: P_1(x_1) <-> R(x_1). p. ~P_1(g) -> t_3.
~R(g) and p. p and ~R(g). forall x_1: P_1(x_1) -> R(x_1). forall x_1: R(x_1) -> P_1(x_1).