What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Mary were a sailor, then it is windy. If it is cold, then it is not windy. Mary is a sailor. Patricia is a lawyer.
It is windy. Mary is a sailor and Patricia is a lawyer. Patricia is a lawyer and Mary is a sailor.