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