Premise: Jimmy Carter . In 2012 , he surpassed Herbert Hoover as the longest-retired president in U.S. history , and he is also the first president to mark the 40th anniversary of his inauguration .
Hypothesis: Jimmy Carter was not a president.
Label: CONTRADICTION