Consider the following premises. For all x_12, if x_12 sleeps, then x_12 is playing tennis. If Thomas plays tennis, then it is cold. If it is cold, then Thomas is sleeping. It is not cold. Can we infer the following from them? Thomas is not playing tennis.
 From the fact that for all x_12, if x_12 sleeps, then x_12 is playing tennis we can infer that if Thomas sleeps, then Thomas is playing tennis. From the fact that if it is cold, then Thomas is sleeping, and that if Thomas sleeps, then Thomas is playing tennis we can infer that if it is cold, then Thomas is playing tennis. From the fact that if it is cold, then Thomas is playing tennis, and that if Thomas plays tennis, then it is cold we can infer that it is cold if and only if Thomas is playing tennis. Finally, from the fact that it is cold if and only if Thomas is playing tennis, and that it is not cold we can infer that Thomas is not playing tennis. Therefore, the answer is yes.