Translate the following inference to logic notation: If Richard listens to a song, then it is overcast. Charles is drinking water. If Charles drinks water, then Mary is an artist. If Mary were an artist, then it is overcast. Therefore it is overcast.
p -> q. r. r -> s. s -> q. Therefore q.