Translate the following inference to logic notation: If Karen listens to a song, then it is overcast. If it is cold, then Elisabeth is playing squash. David is a doctor. If it is overcast, then Elisabeth is playing squash. Karen is listening to a song or it is cold. Therefore David is a doctor and Elisabeth is playing squash.
p -> q. r -> s. t. q -> s. p or r. Therefore t and s.