What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Charles is taking a plane if and only if it is cloudy. If John were a politician, then Charles is taking a plane. If Jennifer were a taxi driver, then John is a politician.
If Jennifer were a taxi driver, then Charles is taking a plane. If Charles takes a plane, then it is cloudy. If it is cloudy, then Charles is taking a plane.