Translate the following inference to logic notation: If Karen climbs a mountain, then Richard is excited. If it snows, then Karen is climbing a mountain. If Charles takes a plane, then it is snowing. If David writes a letter, then Charles is taking a plane. Therefore if David writes a letter, then Richard is excited.
p -> q. r -> p. s -> r. t -> s. Therefore t -> q.