What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Patricia plays squash, then it is sunny. If Patricia cooks, then Patricia is playing squash. If it is sunny, then it is late. It is late if and only if Patricia is cooking.
If Patricia plays squash, then it is late. If Patricia cooks, then it is sunny. If it is late, then Patricia is cooking. If Patricia cooks, then it is late.