What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Patricia is rich or it is cold. If it is cold, then Jessica is climbing a mountain. It is not windy. It is windy if and only if David is excited. If Patricia were rich, then Jessica is climbing a mountain.
Jessica is climbing a mountain. If it is windy, then David is excited. If David were excited, then it is windy. David is not excited.