Translate the following inference to logic notation: Patricia is not a server. Thomas is bored if and only if Mary is a poet. If Thomas were bored, then Patricia is a server. David is drinking water if and only if Mary is a poet. Therefore David is not drinking water.
~p. q <-> r. q -> p. s <-> r. Therefore ~s.