What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? William is an astronaut or Michael is not playing tennis. If it is sunny, then Michael is playing tennis. If William were an astronaut, then it is sunny.
If William were an astronaut, then Michael is playing tennis. If Michael plays tennis, then William is an astronaut.