What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Michael climbs a mountain, then Elisabeth is not poor. Susan is driving a car if and only if Michael is not climbing a mountain. Elisabeth is poor.
Michael is not climbing a mountain. If Susan drives a car, then Michael is not climbing a mountain. If Michael doesn't climb a mountain, then Susan is driving a car.