Premise: He's an American.
Hypothesis: He's Japanese and has never been to America. 
Label: contradiction