mnli premise: Also in the close (left from the cathedral exit) is Marsh's Library, the first public library in Ireland, founded in 1701 and holding more than 25,000 books. hypothesis: Marsh's Library contains more than 25,000 books and was the first public library in Ireland.