Consider the following premises. For all x_8, x_8 will go running. For all x_8, if x_8 goes running, then x_8 is listening to a song. For all x_8, x_8 will not listen to a song or x_8 will drive a car. Richard is not playing squash. Can we infer the following from them? Richard is not driving a car.
 From the fact that for all x_8, if x_8 goes running, then x_8 is listening to a song, and that for all x_8, x_8 will go running we can infer that for all x_8, x_8 will listen to a song. From the fact that for all x_8, x_8 will listen to a song we can infer that for all x_8, x_8 will listen to a song or x_8 will play squash. From the fact that for all x_8, x_8 will listen to a song or x_8 will play squash, and that for all x_8, x_8 will not listen to a song or x_8 will drive a car we can infer that for all x_8, x_8 will play squash or x_8 will drive a car. From the fact that for all x_8, x_8 will play squash or x_8 will drive a car we can infer that Richard is playing squash or Richard is driving a car. Finally, from the fact that Richard is playing squash or Richard is driving a car, and that Richard is not playing squash we can infer that Richard is driving a car, which contradicts that Richard is not driving a car. Therefore, the answer is no.