Translate the following inference to logic notation: If Charles were a sailor, then it is windy. It is sunny or Charles is a sailor. It is not sunny or Jennifer is listening to a song. It is not windy. Therefore Jennifer is listening to a song.
p -> q. r or p. ~r or s. ~q. Therefore s.