Consider the following premises. For all x_7, x_7 will listen to a song or x_7 is bored. For all x_7, if x_7 were fast, then x_7 is climbing a mountain. For all x_7, if x_7 listens to a song, then x_7 is climbing a mountain. For all x_7, if x_7 were bored, then x_7 is fast. For all x_7, x_7 will not climb a mountain or x_7 will read a book. Can we infer the following from them? For all x_7, x_7 will play squash or x_7 will read a book.
 From the fact that for all x_7, if x_7 were bored, then x_7 is fast, and that for all x_7, if x_7 were fast, then x_7 is climbing a mountain we can infer that for all x_7, if x_7 were bored, then x_7 is climbing a mountain. From the fact that for all x_7, if x_7 listens to a song, then x_7 is climbing a mountain, that for all x_7, if x_7 were bored, then x_7 is climbing a mountain, and that for all x_7, x_7 will listen to a song or x_7 is bored we can infer that for all x_7, x_7 will climb a mountain. From the fact that for all x_7, x_7 will climb a mountain we can infer that for all x_7, x_7 will climb a mountain or x_7 will play squash. Finally, from the fact that for all x_7, x_7 will climb a mountain or x_7 will play squash, and that for all x_7, x_7 will not climb a mountain or x_7 will read a book we can infer that for all x_7, x_7 will play squash or x_7 will read a book. Therefore, the answer is yes.