What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Mary were rich, then Linda is a sailor. If Linda were a sailor, then Mary is rich. Mary is not rich. For all x_12, if x_12 plays tennis, then x_12 is a sailor.
Linda is not a sailor.