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