Translate the following inference to logic notation: It is raining if and only if William is rich. If Linda were excited, then it is raining. William is rich or Michael is not a politician. If it rains, then Linda is excited. Linda is not excited. Therefore Michael is not a politician.
p <-> q. r -> p. q or ~s. p -> r. ~r. Therefore ~s.