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