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 Linda plays a game, then it is snowing. If Patricia were an electrician, then it is not snowing. Sarah is playing tennis if and only if Patricia is an electrician. Linda is playing a game.
It is snowing can be inferred via the modus ponens rule. If Sarah plays tennis, then Patricia is an electrician can be inferred via the biconditional elimination rule. If Patricia were an electrician, then Sarah is playing tennis can be inferred via the biconditional elimination rule.