Premise: Mike Portnoy . He was replaced by Mike Mangini .
Hypothesis: Mike Mangini replaced Mike Portnoy.
Label: ENTAILMENT