Text: The actual model contains a number of variables.
Entailment: The real model has more than one variable.
Contradiction: The real model has no variables.