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: Jennifer is working if and only if it is windy. If Thomas drives a car, then Jennifer is working. If it is windy, then Thomas is driving a car.
If it is windy, then Jennifer is working can be inferred via the transitivity rule. If Jennifer works, then it is windy can be inferred via the biconditional elimination rule. If it is windy, then Jennifer is working can be inferred via the biconditional elimination rule.