What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If John were a sailor, then Barbara is writing a letter. John is a sailor or Barbara is an electrician. For all x_14, if x_14 were an electrician, then x_14 is writing a letter. If it is cloudy, then Barbara is not writing a letter.
If Barbara were a scientist, then John is a sailor.