Translate the following inference to logic notation: Linda is not driving a car. If Richard doesn't climb a mountain, then Jennifer is listening to a song. If Richard climbs a mountain, then Linda is driving a car. Patricia is a writer. Therefore Jennifer is listening to a song and Patricia is a writer.
~p. ~q -> r. q -> p. s. Therefore r and s.