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: Michael is a scientist if and only if Patricia is reading a book. Patricia is reading a book if and only if Mary is a musician. For all z, z is not a scientist.
If Michael were a scientist, then Patricia is reading a book can be inferred via the biconditional elimination rule. If Patricia reads a book, then Mary is a musician can be inferred via the biconditional elimination rule. If Patricia reads a book, then Michael is a scientist can be inferred via the biconditional elimination rule. If Mary were a musician, then Patricia is reading a book can be inferred via the biconditional elimination rule.