What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? If Robert were an electrician, then Linda is listening to a song. For all x_8, x_8 is an electrician or x_8 will drive a car. Linda is listening to a song or Robert is not driving a car.
If Robert drives a car, then Linda is listening to a song.