What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Susan were a musician, then Patricia is not curious. Patricia is curious. If Jennifer doesn't drink water, then it is cold. If Jennifer drinks water, then Susan is a musician. Sarah is a police officer.
Susan is not a musician. Patricia is curious and Sarah is a police officer. Sarah is a police officer and Patricia is curious.