Translate the following inference to logic notation: If John doesn't take a plane, then Richard is reading a book. John is taking a plane if and only if Thomas is running. Susan is making tea if and only if Thomas is running. Susan is not making tea. Therefore Richard is reading a book.
~p -> q. p <-> r. s <-> r. ~s. Therefore q.