Translate the following inference to logic notation: If Jessica were a politician, then it is raining. Mary is not a janitor. If it rains, then Jessica is a politician. Mary is a janitor if and only if it is raining. Therefore Jessica is not a politician.
p -> q. ~r. q -> p. r <-> q. Therefore ~p.