Translate the following inference to logic notation: Mary is listening to a song. Elisabeth is not drinking water. Thomas is curious if and only if Elisabeth is drinking water. If Barbara were bored, then Mary is not listening to a song. Therefore Barbara is not bored and Thomas is not curious.
p. ~q. r <-> q. s -> ~p. Therefore ~s and ~r.