Anne is not red. Anne is round. Anne is young. Dave is round. Erin is white. Gary is quiet. Gary is young. All green, nice people are quiet. Red people are round. If Dave is green and Dave is round then Dave is quiet. All quiet people are not nice. If someone is white then they are not nice. If someone is not round then they are young. If someone is green and not young then they are red. If someone is not young then they are not white.
Gary is white.