Translate the following inference to logic notation: If Thomas were rich, then Susan is curious. If it is overcast, then Thomas is rich. If Linda writes a letter, then Thomas is rich. If Susan were curious, then it is overcast. Therefore if Linda writes a letter, then Susan is curious.
p -> q. r -> p. s -> p. q -> r. Therefore s -> q.