Translate the following inference to logic notation: If it is cold, then Sarah is sleeping. If Sarah sleeps, then Jessica is listening to a song. Michael is not a doctor. Michael is a doctor if and only if Jessica is listening to a song. If Jessica listens to a song, then it is cold. Therefore Sarah is not sleeping.
p -> q. q -> r. ~s. s <-> r. r -> p. Therefore ~q.