What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If it is late, then Jessica is an electrician. If Jessica were an electrician, then Linda is playing a game. Jessica is an electrician if and only if it is windy. If Linda plays a game, then it is late. It is not windy.
If it is late, then Linda is playing a game. If Jessica were an electrician, then it is late. If Linda plays a game, then Jessica is an electrician. If Jessica were an electrician, then it is windy. If it is windy, then Jessica is an electrician. Jessica is not an electrician.