What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Name the inference rule being used: If David were an electrician, then it is not snowing. Michael is not driving a car. It is snowing. Jessica is sleeping if and only if Michael is driving a car.
David is not an electrician can be inferred via the modus tollens rule. Michael is not driving a car and it is snowing can be inferred via the conjunction rule. It is snowing and Michael is not driving a car can be inferred via the conjunction rule. If Jessica sleeps, then Michael is driving a car can be inferred via the biconditional elimination rule. If Michael drives a car, then Jessica is sleeping can be inferred via the biconditional elimination rule. Jessica is not sleeping can be inferred via the biconditional elimination rule.