What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Susan is happy if and only if Jennifer is playing squash. If it snows, then Susan is happy. If Jennifer plays squash, then it is snowing.
If Jennifer plays squash, then Susan is happy. If Susan were happy, then Jennifer is playing squash. If Jennifer plays squash, then Susan is happy.