What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Sarah is not drinking water. Joseph is bored if and only if Joseph is running. Sarah is drinking water if and only if Joseph is bored.
If Joseph were bored, then Joseph is running. If Sarah drinks water, then Joseph is bored. If Joseph goes running, then Joseph is bored. If Joseph were bored, then Sarah is drinking water. Joseph is not bored.