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 not snowing. Linda is drinking water. It is snowing if and only if Patricia is working. If Linda drinks water, then it is windy. If Karen plays tennis, then Patricia is working.
It is windy can be inferred via the modus ponens rule. It is not snowing and Linda is drinking water can be inferred via the conjunction rule. Linda is drinking water and it is not snowing can be inferred via the conjunction rule. If it snows, then Patricia is working can be inferred via the biconditional elimination rule. If Patricia works, then it is snowing can be inferred via the biconditional elimination rule. Patricia is not working can be inferred via the biconditional elimination rule.