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: There is at least one x for which x will climb a mountain. For all x, if x reads a book, then x is playing a game. For all x, x will read a book or x will not climb a mountain.
For all x, if x climbs a mountain, then x is reading a book can be inferred via the universal rewriting rule.