Consider the following premises. For all x_1, if x_1 reads a book, then x_1 is taking a plane. For all x_1, x_1 will go running if and only if x_1 will read a book. For all x_1, x_1 will not go running. For all x_1, if x_1 takes a plane, then x_1 is reading a book. Can we infer the following from them? For all x_1, x_1 will not take a plane.
 From the fact that for all x_1, x_1 will go running if and only if x_1 will read a book, and that for all x_1, x_1 will not go running we can infer that for all x_1, x_1 will not read a book. From the fact that for all x_1, if x_1 reads a book, then x_1 is taking a plane, and that for all x_1, if x_1 takes a plane, then x_1 is reading a book we can infer that for all x_1, x_1 will read a book if and only if x_1 will take a plane. Finally, from the fact that for all x_1, x_1 will read a book if and only if x_1 will take a plane, and that for all x_1, x_1 will not read a book we can infer that for all x_1, x_1 will not take a plane. Therefore, the answer is yes.