Translate the following inference to logic notation: If it is cloudy, then Jessica is climbing a mountain. If Michael were a server, then it is cloudy. If Susan were a bartender, then Mary is fast. If Jessica climbs a mountain, then Susan is a bartender. Therefore if Michael were a server, then Mary is fast.
p -> q. r -> p. s -> t. q -> s. Therefore r -> t.