Translate the following inference to logic notation: Thomas is not playing tennis. If it is sunny, then it is late. Thomas is playing tennis or Patricia is drinking water. If Patricia drinks water, then it is late. Therefore it is late.
~p. q -> r. p or s. s -> r. Therefore r.