Translate the following inference to logic notation: Thomas is making tea if and only if Elisabeth is a server. William is a cashier if and only if Elisabeth is rich. Elisabeth is a server if and only if William is a cashier. Elisabeth is not rich. Therefore Thomas is not making tea.
p <-> q. r <-> s. q <-> r. ~s. Therefore ~p.