Translate the following inference to logic notation: If Karen listens to a song, then Jessica is happy. If Linda climbs a mountain, then Jessica is happy. It is overcast if and only if Linda is climbing a mountain. Karen is listening to a song or it is overcast. Therefore Jessica is happy.
p -> q. r -> q. s <-> r. p or s. Therefore q.