Premise: Michael `` Mike '' Mangini ( born April 18 , 1963 ) is an American drummer . Mike Portnoy . He was replaced by Mike Mangini .
Hypothesis: Mike Portnoy was replaced by a kitten.
Label: CONTRADICTION