What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Karen were an astronaut, then it is snowing. It is snowing if and only if Michael is cooking. If Michael cooks, then Thomas is not a poet. Thomas is a poet.
Michael is not cooking. If it snows, then Michael is cooking. If Michael cooks, then it is snowing.