Dave is blue. Dave is cold. Dave is not nice. Dave is rough. Dave is smart. Dave is young. Erin is blue. Erin is cold. Erin is young. Gary is nice. Harry is blue. Harry is not young. If something is not young then it is smart.
Erin is not smart.