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: Charles is an electrician or Jennifer is reading a book. William is not sleeping. Charles is an electrician if and only if William is sleeping.
If Charles were an electrician, then William is sleeping can be inferred via the biconditional elimination rule. If William sleeps, then Charles is an electrician can be inferred via the biconditional elimination rule. Charles is not an electrician can be inferred via the biconditional elimination rule.