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: Jennifer is a carpenter if and only if Jennifer is reading a book. David is driving a car. Jennifer is not reading a book. If James were an office clerk, then Jennifer is a carpenter.
David is driving a car and Jennifer is not reading a book can be inferred via the conjunction rule. Jennifer is not reading a book and David is driving a car can be inferred via the conjunction rule. If Jennifer were a carpenter, then Jennifer is reading a book can be inferred via the biconditional elimination rule. If Jennifer reads a book, then Jennifer is a carpenter can be inferred via the biconditional elimination rule. Jennifer is not a carpenter can be inferred via the biconditional elimination rule.