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: It is windy if and only if Jessica is fast. It is not windy. It is snowing or it is cloudy. It is not snowing.
It is cloudy can be inferred via the disjunctive syllogism rule. It is not windy and it is not snowing can be inferred via the conjunction rule. It is not snowing and it is not windy can be inferred via the conjunction rule. If it is windy, then Jessica is fast can be inferred via the biconditional elimination rule. If Jessica were fast, then it is windy can be inferred via the biconditional elimination rule. Jessica is not fast can be inferred via the biconditional elimination rule.