Consider the following premises. For all x_14, x_14 is not a writer. For all x_14, x_14 will make tea or x_14 is a sailor. For all x_14, x_14 will not make tea or x_14 will play squash. For all x_14, if x_14 were a sailor, then x_14 is a scientist. For all x_14, x_14 is a writer if and only if x_14 is a scientist. Can we infer the following from them? Thomas is playing squash.
 From the fact that for all x_14, x_14 will make tea or x_14 is a sailor, and that for all x_14, x_14 will not make tea or x_14 will play squash we can infer that for all x_14, x_14 is a sailor or x_14 will play squash. From the fact that for all x_14, x_14 is a writer if and only if x_14 is a scientist, and that for all x_14, x_14 is not a writer we can infer that for all x_14, x_14 is not a scientist. From the fact that for all x_14, if x_14 were a sailor, then x_14 is a scientist, and that for all x_14, x_14 is not a scientist we can infer that for all x_14, x_14 is not a sailor. From the fact that for all x_14, x_14 is a sailor or x_14 will play squash, and that for all x_14, x_14 is not a sailor we can infer that for all x_14, x_14 will play squash. Finally, from the fact that for all x_14, x_14 will play squash we can infer that Thomas is playing squash. Therefore, the answer is yes.