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