Premise: The Hardknott Castle Roman Fort, called Mediobogdum by its builders, sits on a shelf near the summit of the pass.

Hypothesis: The Mediobogdum is situated in the bottom of the mountain.
Relation: contradiction