What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? William is excited if and only if it is overcast. It is snowing. If it is overcast, then Patricia is not making tea. Patricia is making tea.
It is not overcast. It is snowing and Patricia is making tea. Patricia is making tea and it is snowing. If William were excited, then it is overcast. If it is overcast, then William is excited.