What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is cold if and only if Jessica is climbing a mountain. If it is cold, then it is cloudy. If Karen were a janitor, then Jessica is climbing a mountain. If it is cloudy, then Karen is a janitor.
If it is cold, then Karen is a janitor. If it is cloudy, then Jessica is climbing a mountain. If it is cold, then Jessica is climbing a mountain. If Jessica climbs a mountain, then it is cold.