What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Karen is a sailor if and only if Jennifer is an artist. If Jennifer were an artist, then Patricia is excited. Karen is a sailor.
If Karen were a sailor, then Jennifer is an artist. If Jennifer were an artist, then Karen is a sailor.