Translate the following inference to logic notation: If Robert plays tennis, then it is cold. If it is cold, then Karen is an astronaut. If Karen were an astronaut, then Robert is playing tennis. Therefore if it is cold, then Robert is playing tennis.
p -> q. q -> r. r -> p. Therefore q -> p.