Translate the following inference to logic notation: If Jessica sleeps, then it is cold. John is a bartender if and only if Jessica is sleeping. If it is cold, then John is a bartender. Therefore if Jessica sleeps, then it is cold.
p -> q. r <-> p. q -> r. Therefore p -> q.