Premise: have more vacation

Hypothesis: Stay in work, there is no vacation available.
Relation: contradiction