Premise: Laudelino José "Lino" de Barros (born June 29, 1975 in Bonito, Mato Grosso do Sul) is a Brazilian boxer, who represented his native country in the light heavyweight division at the 2000 Summer Olympics. There he was eliminated in the first round by Australia's Danny Green. A year earlier, at the 1999 Pan American Games, Barros won the silver medal in his weight division.
Hypothesis: Boxers competed in the 2000 Summer Olympics.