What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Michael is happy or Jessica is running. Michael is not happy or John is rich. Michael is driving a car. Jessica is not running.
Michael is driving a car and Jessica is not running. Jessica is not running and Michael is driving a car. Jessica is running or John is rich.