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