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