What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Susan climbs a mountain, then Linda is a mechanic. Susan is climbing a mountain if and only if Sarah is working.
If Susan climbs a mountain, then Sarah is working. If Sarah works, then Susan is climbing a mountain.