Translate the following inference to logic notation: Patricia is not a sailor. If Charles were excited, then Linda is reading a book. Linda is reading a book if and only if James is making tea. James is making tea if and only if Patricia is a sailor. Therefore Charles is not excited.
~p. q -> r. r <-> s. s <-> p. Therefore ~q.