What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is overcast, then Jennifer is making tea. If Jennifer makes tea, then Thomas is curious. If Thomas were curious, then Elisabeth is bored. It is overcast if and only if Elisabeth is bored.
If it is overcast, then Thomas is curious. If Jennifer makes tea, then Elisabeth is bored. If it is overcast, then Elisabeth is bored. If Elisabeth were bored, then it is overcast.