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 served as president.
Label: ENTAILMENT