Translate the following inference to logic notation: If Richard were a cashier, then Charles is taking a plane. If Charles takes a plane, then Richard is a cashier. Richard is a cashier if and only if Richard is making tea. Charles is not taking a plane. Therefore Richard is not making tea.
p -> q. q -> p. p <-> r. ~q. Therefore ~r.