Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is round. Dave is smart. Gary is cold. Gary is nice. Gary is red. Gary is smart. All nice, round people are green. Red people are round.
Gary is not round.