Consider the following premises. For all x_13, if x_13 goes running, then x_13 is poor. For all x_13, x_13 will go running if and only if x_13 will read a book. For all x_13, x_13 is poor if and only if x_13 will read a book. Can we infer the following from them? There is at least one x_13 for which the fact that x_13 reads a book does not imply that x_13 is poor.
 From the fact that for all x_13, x_13 will go running if and only if x_13 will read a book we can infer that for all x_13, if x_13 reads a book, then x_13 is running. From the fact that for all x_13, if x_13 reads a book, then x_13 is running, and that for all x_13, if x_13 goes running, then x_13 is poor we can infer that for all x_13, if x_13 reads a book, then x_13 is poor. From the fact that for all x_13, x_13 is poor if and only if x_13 will read a book we can infer that for all x_13, if x_13 were poor, then x_13 is reading a book. From the fact that for all x_13, if x_13 were poor, then x_13 is reading a book, and that for all x_13, if x_13 reads a book, then x_13 is poor we can infer that for all x_13, x_13 is poor if and only if x_13 will read a book. Finally, from the fact that for all x_13, x_13 is poor if and only if x_13 will read a book we can infer that for all x_13, if x_13 reads a book, then x_13 is poor, which contradicts that There is at least one x_13 for which the fact that x_13 reads a book does not imply that x_13 is poor. Therefore, the answer is no.