Consider the following premises. There is at least one x_13 for which x_13 is poor if and only if x_13 will play tennis. For all x_13, if x_13 plays squash, then x_13 is playing tennis. For all x_13, x_13 will play squash or x_13 will read a book. For all x_13, x_13 is not poor. Can we infer the following from them? There is at least one x_13 for which x_13 will read a book.
 From the fact that there is at least one x_13 for which x_13 is poor if and only if x_13 will play tennis, and that for all x_13, x_13 is not poor we can infer that there is at least one x_13 for which x_13 will not play tennis. From the fact that for all x_13, if x_13 plays squash, then x_13 is playing tennis, and that there is at least one x_13 for which x_13 will not play tennis we can infer that there is at least one x_13 for which x_13 will not play squash. Finally, from the fact that for all x_13, x_13 will play squash or x_13 will read a book, and that there is at least one x_13 for which x_13 will not play squash we can infer that there is at least one x_13 for which x_13 will read a book. Therefore, the answer is yes.