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