Carlos Reyes won an Olympic medal.
An Olympian is a person who trains for an Olympic sport and goes to the Olympics. Carlos Reyes trains for an Olympic sport. Carlos Reyes went to the Olympics. Carlos Reyes is a welterweight. Heavy weights are not welterweights.
∀x (DoesOlympicSport(x) ∧ GoesToOlympicGames(x) → IsOlympian(x)) DoesOlympicSport(carlosReyes) GoesToOlympicGames(carlosReyes) IsWelterWeight(carlosReyes) ∀x (IsWelterWeight(x) → ¬IsHeavyWeight(x))