What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is overcast and Charles is a musician. If Michael makes tea, then it is raining. If it is overcast, then Michael is making tea.
If it is overcast, then it is raining. It is overcast. Charles is a musician.