Premise: Jimmy Carter . Carter lost the general election in an electoral landslide to Republican nominee Ronald Reagan . 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 . United States presidential election, 1980 . The contest was between the Democratic national ticket of incumbent President Jimmy Carter from Georgia and Vice President Walter Mondale from Minnesota , and the Republican national ticket of Ronald Reagan , a former Hollywood actor and former Governor from California with his running mate George H.W. Bush , a former Congressman and CIA Director from Texas who would eventually win the presidency eight years later , as well as Republican Congressman John B. Anderson , who ran as an independent .
Hypothesis: Jimmy Carter was a president.
Label: ENTAILMENT