Translate the following inference to logic notation: It is not sunny or Linda is listening to a song. If Linda listens to a song, then Mary is playing tennis. It is sunny or Patricia is a taxi driver. If Patricia were a taxi driver, then Mary is playing tennis. Therefore Mary is playing tennis.
~p or q. q -> r. p or s. s -> r. Therefore r.