Premise: The salt miners, but I don't know why they're here.

Hypothesis: The miners had only ever worked in the coal mines .
Relation: contradiction