What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Thomas is climbing a mountain if and only if it is cloudy. It is cloudy or Patricia is a taxi driver. If Susan were a musician, then Thomas is climbing a mountain. If Patricia were a taxi driver, then Susan is a musician.
If Patricia were a taxi driver, then Thomas is climbing a mountain. If Thomas climbs a mountain, then it is cloudy. If it is cloudy, then Thomas is climbing a mountain.