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: Jessica is working or Charles is drinking water. For all x_13, if x_13 drinks water, then x_13 is an electrician. Jessica is not working or William is running. William is running if and only if Charles is an electrician.
Charles is drinking water or William is running can be inferred via the resolution rule. If Charles makes tea, then Jessica is working can be inferred via the rewriting rule. If William goes running, then Charles is an electrician can be inferred via the biconditional elimination rule. If Charles were an electrician, then William is running can be inferred via the biconditional elimination rule.