Premise: The miners were in the western hills in the salt mines.

Hypothesis: The miners were in the coal mines in the western hills.
Relation: contradiction