What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? R(h) -> p_11. r_11 -> U(h). forall z: U(z) -> R(z). p_11 -> r. r -> r_11.
R(h) -> r. p_11 -> r_11. r -> U(h).