Consider the following premises. For all x_12, x_12 will climb a mountain or x_12 will not take a plane. If Elisabeth climbs a mountain, then Linda is reading a book. For all x_12, if x_12 climbs a mountain, then x_12 is taking a plane. Can we infer the following from them? If Elisabeth takes a plane, then Linda is reading a book.
 From the fact that for all x_12, x_12 will climb a mountain or x_12 will not take a plane we can infer that for all x_12, if x_12 takes a plane, then x_12 is climbing a mountain. From the fact that for all x_12, if x_12 takes a plane, then x_12 is climbing a mountain, and that for all x_12, if x_12 climbs a mountain, then x_12 is taking a plane we can infer that for all x_12, x_12 will take a plane if and only if x_12 will climb a mountain. From the fact that for all x_12, x_12 will take a plane if and only if x_12 will climb a mountain we can infer that for all x_12, if x_12 takes a plane, then x_12 is climbing a mountain. From the fact that for all x_12, if x_12 takes a plane, then x_12 is climbing a mountain we can infer that if Elisabeth takes a plane, then Elisabeth is climbing a mountain. Finally, from the fact that if Elisabeth takes a plane, then Elisabeth is climbing a mountain, and that if Elisabeth climbs a mountain, then Linda is reading a book we can infer that if Elisabeth takes a plane, then Linda is reading a book. Therefore, the answer is yes.