Anne is nice. Anne is smart. Erin is cold. Erin is green. Erin is kind. Erin is nice. Fiona is nice. Harry is cold. Harry is kind. Harry is quiet. Harry is red. Harry is smart. If something is smart and green then it is quiet. All nice, red things are green. All green things are smart.
Fiona is not smart.