Translate the following inference to logic notation: If Charles plays squash, then it is sunny. Jennifer is making tea or Charles is playing squash. If it is sunny, then Charles is playing squash. Jennifer is not making tea or it is cloudy. It is not sunny. Therefore it is cloudy.
p -> q. r or p. q -> p. ~r or s. ~q. Therefore s.