What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? David is not bored. If Karen plays tennis, then Jessica is taking a plane. If it is not cloudy, then Karen is playing tennis. David is bored if and only if it is cloudy.
If it is not cloudy, then Jessica is taking a plane. If David were bored, then it is cloudy. If it is cloudy, then David is bored. It is not cloudy.