Anne is cold. Anne is furry. Charlie is cold. Charlie is green. Erin is green. Erin is smart. Erin is white. If something is green and furry then it is white. Furry, smart things are big. Big things are smart. If something is furry and green then it is big. If something is cold then it is furry. If something is green and white then it is furry.
Anne is green.