Anne is blue. Anne is kind. Anne is nice. Anne is red. Charlie is cold. Charlie is red. Charlie is smart. Erin is blue. Erin is cold. Erin is kind. Erin is red. Erin is rough. All blue things are red. If something is nice and rough then it is smart. Red, smart things are kind. Smart things are nice. Nice, cold things are red. If something is cold and rough then it is kind.
Erin is not rough.