What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? John is cooking if and only if Michael is driving a car. Sarah is running. If John cooks, then Michael is driving a car. John is not cooking.
Sarah is running and John is not cooking. John is not cooking and Sarah is running. If John cooks, then Michael is driving a car. If Michael drives a car, then John is cooking. Michael is not driving a car.