Anne is not big. Anne is furry. Anne is green. Anne is not red. Anne is rough. Anne is white. Anne is young. Erin is big. Erin is not furry. Erin is green. Erin is red. Erin is rough. Erin is white. Erin is young. If someone is big and green then they are red. If someone is big and not young then they are red. If someone is young and not rough then they are red.
Erin is not rough.