Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is smart. Erin is blue. Erin is nice. Erin is red. Erin is not rough. Fiona is blue. Fiona is cold. Fiona is not red. Fiona is not rough. Fiona is not smart. If something is nice and not blue then it is red. Nice, cold things are green. If Fiona is cold then Fiona is not nice. Rough things are smart. All blue things are green. If something is smart and not red then it is not blue.
Erin is not smart.