What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Mary is poor if and only if Michael is a soldier. If Mary were poor, then Michael is a soldier. Michael is driving a car if and only if Mary is poor.
If Mary were poor, then Michael is a soldier. If Michael drives a car, then Mary is poor. If Michael were a soldier, then Mary is poor. If Mary were poor, then Michael is driving a car.