Anne is big. Charlie is nice. Charlie is rough. Erin is blue. Harry is big. Harry is rough. Harry is white. All furry, nice things are big. If something is big then it is smart. If something is smart then it is not blue. Blue, nice things are not rough. All white things are furry. Rough things are white. If something is white then it is rough. If something is not smart then it is not rough.
Erin is not smart.