Translate the following inference to logic notation: If Patricia writes a letter, then it is windy. If Susan takes a plane, then Patricia is writing a letter. Susan is taking a plane or it is not windy. Therefore if it is windy, then Susan is taking a plane.
p -> q. r -> p. r or ~q. Therefore q -> r.