Premise: the one that was in for the seventeen years actually served seven and he's out

Hypothesis: The person served the full seventeen years and still in prison.
Relation: contradiction