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: For all x_22, x_22 is not a server. For all x_22, x_22 is a server or x_22 is a sailor. William is not running. William is running if and only if Patricia is a musician.
If William goes running, then Patricia is a musician can be inferred via the biconditional elimination rule. If Patricia were a musician, then William is running can be inferred via the biconditional elimination rule. Patricia is not a musician can be inferred via the biconditional elimination rule. For all x_22, x_22 is a sailor can be inferred via the universal disjunctive syllogism rule.