Anne is red. Erin is red. Harry is red. All smart things are white. All smart, kind things are white. All rough, red things are furry. Kind, red things are rough. If something is rough and furry then it is nice. All kind things are rough.
Erin is not red.