Translate the following inference to logic notation: If Elisabeth listens to a song, then it is cloudy. Elisabeth is running or Michael is bored. If it is cloudy, then Michael is not bored. Elisabeth is not running. Therefore Elisabeth is not listening to a song.
p -> q. r or s. q -> ~s. ~r. Therefore ~p.