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: Linda is reading a book if and only if Charles is a writer. Charles is a writer or Linda is not reading a book.
If Linda reads a book, then Charles is a writer can be inferred via the rewriting rule. If Linda reads a book, then Charles is a writer can be inferred via the biconditional elimination rule. If Charles were a writer, then Linda is reading a book can be inferred via the biconditional elimination rule.