Translate the following inference to logic notation: If it is sunny, then Joseph is a police officer. Sarah is a janitor if and only if it is sunny. It is sunny if and only if Joseph is a police officer. Joseph is not a police officer. Therefore Sarah is not a janitor.
p -> q. r <-> p. p <-> q. ~q. Therefore ~r.