What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? William is playing a game. If Michael cooks, then it is raining. If Elisabeth climbs a mountain, then William is not playing a game. It is not raining.
Michael is not cooking. Elisabeth is not climbing a mountain. William is playing a game and it is not raining. It is not raining and William is playing a game.