Anne is blue. Anne is rough. Erin is blue. Erin is green. Erin is red. Erin is rough. Erin is young. All furry, red people are young. All red, young people are green. Blue people are quiet. If someone is green then they are red. Green people are rough. If Anne is blue then Anne is furry. Young, red people are quiet. If Anne is blue then Anne is green.
Anne is not red.