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