What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: U(g_2) -> t_3. forall y: ~U(y). u -> p_2. p_2 -> t_3. t_3 -> U(g_2).
u -> t_3 can be inferred via the transitivity rule.