Translate the following inference to logic notation: If it is late, then John is an astronaut. Linda is playing a game if and only if John is an astronaut. If Linda plays a game, then it is late. Therefore if it is late, then John is an astronaut.
p -> q. r <-> q. r -> p. Therefore p -> q.