Anne is cold. Anne is nice. Anne is quiet. Erin is cold. Erin is green. Erin is not kind. Erin is smart. If Erin is quiet then Erin is cold. All big things are green. If Erin is smart then Erin is cold. If something is smart and nice then it is cold. If Anne is green then Anne is not big. If something is nice and not green then it is cold.
Erin is not smart.