Anne is nice. Anne is white. Bob is red. Bob is round. Charlie is blue. Charlie is smart. Gary is blue. Gary is red. Gary is round. Gary is smart. Gary is white. If Gary is red and Gary is nice then Gary is blue. All round people are quiet. If someone is red then they are blue. All red people are nice. All quiet, red people are round. All blue, round people are quiet. Blue people are smart. If someone is white and smart then they are quiet. If someone is white then they are red.
Anne is white.