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