Premise: (That's right, array.

Hypothesis: That is correct.
Relation: entailment