Translate the following inference to logic notation: If it is windy, then Richard is rich. If it rains, then Joseph is writing a letter. It is raining if and only if Richard is rich. Joseph is not writing a letter. Therefore it is not windy.
p -> q. r -> s. r <-> q. ~s. Therefore ~p.