Premise: we have Kroger but not a Skaggs

Hypothesis: We have both a Kroger and Skaggs.
Relation: contradiction