What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cloudy. If Susan takes a plane, then Karen is bored. Susan is taking a plane.
Karen is bored. It is cloudy and Susan is taking a plane. Susan is taking a plane and it is cloudy.