Consider the following premises. John is not reading a book. For all x_6, x_6 will listen to a song. For all x_6, x_6 will not listen to a song or x_6 is a politician. Can we infer the following from them? John is a politician.
 From the fact that for all x_6, x_6 will listen to a song we can infer that for all x_6, x_6 will listen to a song or x_6 will read a book. From the fact that for all x_6, x_6 will listen to a song or x_6 will read a book, and that for all x_6, x_6 will not listen to a song or x_6 is a politician we can infer that for all x_6, x_6 will read a book or x_6 is a politician. From the fact that for all x_6, x_6 will read a book or x_6 is a politician we can infer that John is reading a book or John is a politician. Finally, from the fact that John is reading a book or John is a politician, and that John is not reading a book we can infer that John is a politician. Therefore, the answer is yes.