Premise: formed yeah they're already right

Hypothesis: They are correct. 
Relation: entailment