Consider the following premises. If it is late, then Richard is an astronaut. It is late or Karen is drinking water. Thomas is playing tennis if and only if Richard is an astronaut. Thomas is not playing tennis. Can we infer the following from them? Thomas is not playing tennis.
That is one of the premises. Therefore, the answer is yes.