Text: 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.
Entailment: Marsh's Library contains more than 25,000 books and was the first public library in Ireland.
Contradiction: Only clergymen are allowed to enter Marsh's Library.