Translate the following inference to logic notation: If Patricia plays a game, then Charles is playing tennis. Susan is playing squash or Charles is not playing tennis. If Susan plays squash, then Patricia is playing a game. Patricia is not playing a game. Therefore Charles is not playing tennis.
p -> q. r or ~q. r -> p. ~p. Therefore ~q.