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