What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? Richard is fast or Susan is curious. If Susan were curious, then Joseph is listening to a song. For all x_20, x_20 is a politician. If Richard were fast, then Joseph is listening to a song.
Joseph is listening to a song.