Anne is big. Anne is not blue. Anne is kind. Anne is nice. Anne is not red. Anne is smart. Anne is white. Charlie is not kind. Charlie is nice. Erin is not blue. Erin is nice. Erin is smart. Erin is white. Fiona is blue. Fiona is white. If something is red then it is smart. If something is not red then it is white. If something is red and not smart then it is blue.
Erin is not smart.