Consider the following premises. If it is overcast, then Elisabeth is reading a book. If Elisabeth reads a book, then Mary is a taxi driver. It is overcast or Mary is a taxi driver. Elisabeth is reading a book or Mary is not a taxi driver. Can we infer the following from them? Elisabeth is reading a book.
 From the fact that Elisabeth is reading a book or Mary is not a taxi driver we can infer that if Mary were a taxi driver, then Elisabeth is reading a book. From the fact that if Mary were a taxi driver, then Elisabeth is reading a book, and that if Elisabeth reads a book, then Mary is a taxi driver we can infer that Mary is a taxi driver if and only if Elisabeth is reading a book. From the fact that Mary is a taxi driver if and only if Elisabeth is reading a book we can infer that if Mary were a taxi driver, then Elisabeth is reading a book. Finally, from the fact that if it is overcast, then Elisabeth is reading a book, that if Mary were a taxi driver, then Elisabeth is reading a book, and that it is overcast or Mary is a taxi driver we can infer that Elisabeth is reading a book. Therefore, the answer is yes.