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: Sarah is not driving a car or James is sleeping. If Elisabeth were fast, then Charles is a poet. It is overcast. Sarah is driving a car or Elisabeth is fast. Charles is a poet if and only if James is sleeping.
Elisabeth is fast or James is sleeping can be inferred via the resolution rule. If Charles were a poet, then James is sleeping can be inferred via the biconditional elimination rule. If James sleeps, then Charles is a poet can be inferred via the biconditional elimination rule.