What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Joseph were a doctor, then William is cooking. If Elisabeth plays a game, then Joseph is a doctor. Elisabeth is playing a game or Jessica is not playing tennis. If William cooks, then Jessica is playing tennis.
If Joseph were a doctor, then Jessica is playing tennis. If Elisabeth plays a game, then William is cooking. If Jessica plays tennis, then Elisabeth is playing a game.