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: For all x_28, if x_28 goes running, then x_28 is sleeping. If Michael sleeps, then Thomas is a soldier. John is an office clerk or Michael is running. John is not an office clerk.
Michael is running can be inferred via the disjunctive syllogism rule. If Michael writes a letter, then John is an office clerk can be inferred via the rewriting rule.