Translate the following inference to logic notation: If it is late, then James is not making tea. Jennifer is a politician if and only if James is making tea. If James doesn't make tea, then it is late. Jennifer is not a politician. Therefore it is late.
p -> ~q. r <-> q. ~q -> p. ~r. Therefore p.