Consider the following premises. For all y, if y plays squash, then y is a soldier. For all y, if y were a soldier, then y is not driving a car. For all y, y will drive a car. For all y, if y were a soldier, then y is playing squash. Joseph is playing squash or Thomas is reading a book. Can we infer the following from them? Thomas is not reading a book.
 From the fact that for all y, if y were a soldier, then y is playing squash, and that for all y, if y plays squash, then y is a soldier we can infer that for all y, y is a soldier if and only if y will play squash. From the fact that for all y, if y were a soldier, then y is not driving a car, and that for all y, y will drive a car we can infer that for all y, y is not a soldier. From the fact that for all y, y is a soldier if and only if y will play squash, and that for all y, y is not a soldier we can infer that for all y, y will not play squash. From the fact that for all y, y will not play squash we can infer that Joseph is not playing squash. Finally, from the fact that Joseph is playing squash or Thomas is reading a book, and that Joseph is not playing squash we can infer that Thomas is reading a book, which contradicts that Thomas is not reading a book. Therefore, the answer is no.