Translate the following inference to logic notation: It is raining. Charles is taking a plane and it is windy. If it rains, then Richard is listening to a song. Therefore Richard is listening to a song and Charles is taking a plane.
p. q and r. p -> s. Therefore s and q.