What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Robert listens to a song, then Karen is a police officer. Robert is listening to a song or Karen is a nurse. For all x_14, if x_14 were a nurse, then x_14 is a police officer.
If Karen takes a plane, then Robert is listening to a song.