What can be inferred from the following premises in a single inference step (ignoring inferences that add new predicates or constants)? For all x_19, x_19 is a server or x_19 will take a plane. There is at least one x_19 for which if x_19 were a server, then x_19 is a musician. For all x_19, if x_19 takes a plane, then x_19 is a musician. For all x_19, x_19 will play squash or x_19 will drive a car. For all x_19, x_19 will not play squash or x_19 will listen to a song. For all x_19, x_19 will listen to a song if and only if x_19 will cook. For all x_19, if x_19 drives a car, then x_19 is cooking.
For all x_19, x_19 will drive a car or x_19 will listen to a song. There is at least one x_19 for which x_19 is a musician. For all x_19, if x_19 listens to a song, then x_19 is cooking. For all x_19, if x_19 cooks, then x_19 is listening to a song.