Translate the following inference to logic notation: If it snows, then Charles is listening to a song. Charles is not listening to a song. If Barbara were happy, then Jessica is writing a letter. Barbara is happy. Therefore Jessica is writing a letter and it is not snowing.
p -> q. ~q. r -> s. r. Therefore s and ~p.