Premise: The actual model contains a number of variables.

Hypothesis: The real model has more than one variable.
Relation: entailment