What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is windy if and only if John is cooking. It is not windy. It is sunny.
It is not windy and it is sunny. It is sunny and it is not windy. If it is windy, then John is cooking. If John cooks, then it is windy. John is not cooking.