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: James is fast. If Joseph were poor, then it is sunny. Joseph is poor and John is sleeping.
Joseph is poor can be inferred via the simplification rule. John is sleeping can be inferred via the simplification rule.