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 a poet or Joseph is not an artist. Joseph is an artist or it is overcast. Elisabeth is taking a plane. If it is overcast, then Jessica is a poet.
If Joseph were an artist, then Jessica is a poet can be inferred via the rewriting rule.