What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Susan plays squash, then Jennifer is sleeping. If Jennifer sleeps, then it is cold. Jennifer is not sleeping. If it is cold, then Susan is playing squash.
Susan is not playing squash. If Susan plays squash, then it is cold. If Jennifer sleeps, then Susan is playing squash. If it is cold, then Jennifer is sleeping.