premise: He retired from boxing in 1996 when he tested positive for HIV, but returned for two more fights in 2007 and 2008.
hypothesis: He retired from boxing in 1997 when he tested positive for HIV, but returned for two more fights in 2007 and 2008.