Translate the following inference to logic notation: If it is not sunny, then David is playing tennis. It is windy. If it is sunny, then Karen is making tea. Karen is not making tea. Therefore it is windy and David is playing tennis.
~p -> q. r. p -> s. ~s. Therefore r and q.