Translate the following inference to logic notation: If it snows, then Jessica is an astronaut. If Jessica were an astronaut, then John is listening to a song. John is not listening to a song. Therefore it is not snowing or John is bored.
p -> q. q -> r. ~r. Therefore ~p or s.