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 Charles were poor, then David is excited. Charles is poor or David is fast. For all y, if y were fast, then y is a poet. For all y, if y were a poet, then y is excited.
If David were a lawyer, then Charles is poor can be inferred via the rewriting rule. For all y, if y were fast, then y is excited can be inferred via the universal transitivity rule.