Translate the following inference to logic notation: Patricia is not playing squash. If Elisabeth drinks water, then Patricia is playing squash. Sarah is working if and only if Elisabeth is drinking water. Sarah is working if and only if Sarah is making tea. Therefore Sarah is not making tea.
~p. q -> p. r <-> q. r <-> s. Therefore ~s.