Consider the following premises. If it snows, then Michael is reading a book. For all x_16, x_16 will play squash if and only if x_16 will read a book. Michael is playing squash or it is snowing. If Jessica writes a letter, then Michael is not reading a book. Can we infer the following from them? Jessica is not writing a letter.
 From the fact that for all x_16, x_16 will play squash if and only if x_16 will read a book we can infer that Michael is playing squash if and only if Michael is reading a book. From the fact that Michael is playing squash if and only if Michael is reading a book we can infer that if Michael plays squash, then Michael is reading a book. From the fact that if Michael plays squash, then Michael is reading a book, that if it snows, then Michael is reading a book, and that Michael is playing squash or it is snowing we can infer that Michael is reading a book. Finally, from the fact that if Jessica writes a letter, then Michael is not reading a book, and that Michael is reading a book we can infer that Jessica is not writing a letter. Therefore, the answer is yes.