Premise: A fine collection of medieval church artifacts and Celtic carvings can be found on the first floor.

Hypothesis: The artifacts and carvings cannot be found on the first floor.
Relation: contradiction