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