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: It is windy or Jessica is not cooking. Susan is listening to a song or it is not windy. If Susan listens to a song, then Jessica is cooking.
If Jessica cooks, then it is windy can be inferred via the rewriting rule. If it is windy, then Susan is listening to a song can be inferred via the rewriting rule.