What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is not overcast. Mary is playing a game or Joseph is not cooking. It is overcast if and only if Sarah is a musician. If Sarah were not a musician, then Mary is playing a game.
If Joseph cooks, then Mary is playing a game. If it is overcast, then Sarah is a musician. If Sarah were a musician, then it is overcast. Sarah is not a musician.