Translate the following inference to logic notation: If it is late, then it is cold. If it is cold, then John is a bartender. If John were a bartender, then it is late. Therefore if it is late, then it is cold.
p -> q. q -> r. r -> p. Therefore p -> q.