What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is a nurse if and only if it is sunny. Sarah is drinking water or Michael is not a soldier. If Sarah drinks water, then it is sunny.
If Michael were a soldier, then Sarah is drinking water. If Patricia were a nurse, then it is sunny. If it is sunny, then Patricia is a nurse.