Translate the following inference to logic notation: If Robert were a soldier, then Sarah is an astronaut. Sarah is an astronaut if and only if Karen is taking a plane. If Sarah were an astronaut, then Robert is a soldier. Therefore if Karen takes a plane, then Robert is a soldier.
p -> q. q <-> r. q -> p. Therefore r -> p.