What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is windy, then Jessica is poor. Charles is excited and William is a server. If Jessica were poor, then it is windy. Jessica is poor if and only if Charles is a scientist. If it is windy, then Charles is not excited.
If Jessica were poor, then Charles is not excited. Charles is excited. William is a server. It is windy if and only if Jessica is poor. Jessica is poor if and only if it is windy. If Jessica were poor, then Charles is a scientist. If Charles were a scientist, then Jessica is poor.