Anne is white. Dave is red. Gary is blue. If Gary is white then Gary is round. If someone is red then they are round. If someone is young and red then they are blue. Smart people are white. All young people are red. Round people are young.
Dave is round.