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