What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Thomas were curious, then John is excited. Jennifer is climbing a mountain. If John were excited, then Thomas is curious. If David goes running, then Thomas is curious. If John were excited, then Jennifer is not climbing a mountain.
John is not excited. If Thomas were curious, then Jennifer is not climbing a mountain. If David goes running, then John is excited. Thomas is curious if and only if John is excited. John is excited if and only if Thomas is curious.