What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Thomas drinks water, then Jennifer is running. Thomas is drinking water or it is sunny. Jennifer is running if and only if it is sunny. John is writing a letter.
If Jennifer goes running, then it is sunny. If it is sunny, then Jennifer is running.