Anne is red. Anne is not smart. Anne is white. Anne is young. Charlie is kind. Erin is blue. Erin is nice. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is young. If someone is not young then they are red. All red people are nice.
Erin is not smart.