What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? forall x_9: P_3(x_9). r -> q. U(a_8) -> r. P_3(a_8) -> q.
U(a_8) -> q.