What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? It is late or William is listening to a song. If it is late, then Jessica is a carpenter. Jessica is a carpenter if and only if Jessica is playing tennis. If William listens to a song, then Jessica is playing tennis.
If Jessica were a carpenter, then Jessica is playing tennis. If Jessica plays tennis, then Jessica is a carpenter.