What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Patricia sleeps, then it is overcast. Patricia is sleeping or it is not sunny. It is sunny.
If it is sunny, then Patricia is sleeping.