What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is climbing a mountain or Robert is not an astronaut. For all x_14, x_14 will climb a mountain if and only if x_14 will go running. Michael is running or Robert is an astronaut.
If Robert were an astronaut, then Michael is climbing a mountain. For all x_14, if x_14 climbs a mountain, then x_14 is running. For all x_14, if x_14 goes running, then x_14 is climbing a mountain.