Anne is blue. Anne is not cold. Anne is not kind. Anne is not red. Anne is smart. Charlie is red. Charlie is young. Dave is smart. Erin is red. Erin is smart. If something is young then it is not kind. If something is young and not cold then it is not white. Smart, young things are blue. If something is white then it is smart. If something is white and not cold then it is smart. Young things are red.
Erin is not blue.