Translate the following inference to logic notation: If Susan were happy, then it is overcast. Patricia is making tea if and only if it is overcast. If Patricia makes tea, then Mary is rich. Therefore if Susan were happy, then Mary is rich.
p -> q. r <-> q. r -> s. Therefore p -> s.