Translate the following inference to logic notation: If Elisabeth makes tea, then it is late. If it is late, then it is raining. Elisabeth is making tea if and only if it is raining. Therefore it is late if and only if it is raining.
p -> q. q -> r. p <-> r. Therefore q <-> r.