Anne is cold. Anne is green. Bob is cold. Bob is green. Bob is nice. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Erin is smart. If something is cold then it is smart. If something is cold then it is red. If something is nice and green then it is smart.
Anne is not smart.