What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Sarah is a taxi driver or David is not climbing a mountain. If Sarah were a taxi driver, then Karen is a doctor. If Karen were a doctor, then David is climbing a mountain.
If Sarah were a taxi driver, then David is climbing a mountain. If David climbs a mountain, then Sarah is a taxi driver.