Anne is big. Anne is quiet. Anne is red. Anne is white. Bob is nice. Bob is red. Erin is big. Erin is cold. Erin is nice. Erin is quiet. Erin is red. Erin is white. Harry is cold. Harry is green. Harry is nice. Harry is white. Green things are red. If something is green then it is quiet. If something is big and white then it is nice.
Anne is not green.