Translate the following inference to logic notation: It is snowing or it is not cloudy. Elisabeth is listening to a song. If it snows, then Charles is not a carpenter. Charles is a carpenter. Therefore it is not cloudy.
p or ~q. r. p -> ~s. s. Therefore ~q.