Translate the following inference to logic notation: Joseph is not a janitor. John is making tea or Charles is sad. Joseph is a janitor if and only if John is making tea. Therefore Charles is sad.
~p. q or r. p <-> q. Therefore r.