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: Sarah is a server. For all y, y will work if and only if y is a politician. Jennifer is not a politician. Jennifer is working if and only if Linda is cooking.
Sarah is a server and Jennifer is not a politician can be inferred via the conjunction rule. Jennifer is not a politician and Sarah is a server can be inferred via the conjunction rule. If Jennifer works, then Linda is cooking can be inferred via the biconditional elimination rule. If Linda cooks, then Jennifer is working can be inferred via the biconditional elimination rule. For all y, if y works, then y is a politician can be inferred via the universal biconditional elimination rule. For all y, if y were a politician, then y is working can be inferred via the universal biconditional elimination rule.