Translate the following inference to logic notation: If Charles were a soldier, then Robert is taking a plane. If Robert takes a plane, then Jennifer is a scientist. Charles is a soldier. Therefore Jennifer is a scientist.
p -> q. q -> r. p. Therefore r.