Translate the following inference to logic notation: Mary is making tea if and only if Thomas is a janitor. If it is sunny, then Mary is making tea. It is sunny. Therefore Mary is making tea.
p <-> q. r -> p. r. Therefore p.