Translate the following inference to logic notation: If Patricia writes a letter, then it is windy. If it is windy, then John is climbing a mountain. If John climbs a mountain, then Patricia is writing a letter. If it is windy, then Patricia is writing a letter. Therefore if it is windy, then Patricia is writing a letter.
p -> q. q -> r. r -> p. q -> p. Therefore q -> p.