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: Elisabeth is running or Mary is a politician. If Mary were a politician, then David is driving a car. For all x_8, if x_8 were fast, then x_8 is driving a car. Elisabeth is not running or David is fast.
Mary is a politician or David is fast can be inferred via the resolution rule. If David writes a letter, then Elisabeth is not running can be inferred via the rewriting rule.