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 z, z will read a book if and only if z will sleep. Jessica is playing squash if and only if Mary is sleeping. For all z, z will not read a book.
If Jessica plays squash, then Mary is sleeping can be inferred via the biconditional elimination rule. If Mary sleeps, then Jessica is playing squash can be inferred via the biconditional elimination rule. For all z, if z reads a book, then z is sleeping can be inferred via the universal biconditional elimination rule. For all z, if z sleeps, then z is reading a book can be inferred via the universal biconditional elimination rule. For all z, z will not sleep can be inferred via the universal biconditional elimination rule.