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: If Joseph listens to a song, then Elisabeth is running. Charles is a lawyer or Michael is an office clerk. If Mary plays tennis, then Elisabeth is not running. For all x_32, if x_32 were an astronaut, then x_32 is running. Charles is not a lawyer. Elisabeth is an astronaut or Joseph is listening to a song.
Michael is an office clerk can be inferred via the disjunctive syllogism rule.