Anne is furry. Anne is green. Anne is quiet. Anne is red. Charlie is green. Dave is cold. Dave is green. Dave is smart. Fiona is cold. Fiona is nice. All cold people are green. If someone is quiet then they are cold. Quiet, cold people are furry. If Dave is furry and Dave is cold then Dave is nice. If Dave is green then Dave is red. Quiet, cold people are smart.
Anne is smart.