Translate the following inference to logic notation: If Karen goes running, then it is cloudy. If Michael takes a plane, then it is cold. If it snows, then Karen is running. If it is cold, then it is snowing. Therefore if Michael takes a plane, then it is cloudy.
p -> q. r -> s. t -> p. s -> t. Therefore r -> q.