Consider the following premises. Sarah is reading a book if and only if Elisabeth is a musician. For all x_7, x_7 will play squash if and only if x_7 is a musician. Elisabeth is not playing squash. Can we infer the following from them? Sarah is reading a book.
 From the fact that for all x_7, x_7 will play squash if and only if x_7 is a musician we can infer that Elisabeth is playing squash if and only if Elisabeth is a musician. From the fact that Elisabeth is playing squash if and only if Elisabeth is a musician, and that Elisabeth is not playing squash we can infer that Elisabeth is not a musician. Finally, from the fact that Sarah is reading a book if and only if Elisabeth is a musician, and that Elisabeth is not a musician we can infer that Sarah is not reading a book, which contradicts that Sarah is reading a book. Therefore, the answer is no.