What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Linda is a police officer if and only if it is cold. If Jennifer works, then it is not cold. If Patricia were a writer, then it is cold. Linda is a police officer or Patricia is a writer. If Jennifer doesn't work, then Jennifer is a sailor.
If Linda were a police officer, then it is cold. If it is cold, then Linda is a police officer.