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: Jessica is not playing squash or William is drinking water. Elisabeth is not driving a car or John is writing a letter. Elisabeth is driving a car or Jessica is playing squash. John is not writing a letter.
Jessica is playing squash or John is writing a letter can be inferred via the resolution rule.