Premise: HERSHEIMMER."

Hypothesis: There is no Hersheimmer.
Relation: contradiction