mnli premise: A low-ceilinged room in one of the buildings has been venerated for centuries as the Tomb of King David. hypothesis: King David isn't even dead so it's impossible for him to have a tomb there.