What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is poor if and only if Jessica is happy. If Charles drinks water, then Richard is poor. If Jessica were happy, then Charles is drinking water.
If Jessica were happy, then Richard is poor. If Richard were poor, then Jessica is happy. If Jessica were happy, then Richard is poor.