What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Jessica is not sleeping. Richard is rich if and only if Mary is curious. Richard is rich if and only if it is cloudy. If Mary were curious, then Jessica is sleeping.
Mary is not curious. If Richard were rich, then Mary is curious. If Richard were rich, then it is cloudy. If Mary were curious, then Richard is rich. If it is cloudy, then Richard is rich.