What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cloudy if and only if John is running. If it rains, then Richard is cooking. If John goes running, then it is raining.
If John goes running, then Richard is cooking. If it is cloudy, then John is running. If John goes running, then it is cloudy.