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 Sarah listens to a song, then it is windy. It is windy or Jessica is not driving a car. Jessica is driving a car or Sarah is listening to a song. David is making tea.
If Jessica drives a car, then it is windy can be inferred via the rewriting rule.