What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jennifer is driving a car if and only if Susan is playing tennis. Robert is not an electrician. If Michael were an office clerk, then Jennifer is driving a car. Susan is playing tennis if and only if Robert is an electrician.
If Jennifer drives a car, then Susan is playing tennis. If Susan plays tennis, then Robert is an electrician. If Susan plays tennis, then Jennifer is driving a car. If Robert were an electrician, then Susan is playing tennis. Susan is not playing tennis.