Anne is blue. Anne is nice. Bob is cold. Bob is green. Bob is nice. Charlie is nice. Dave is smart. If someone is blue then they are green. Blue, cold people are smart. All green people are kind.
Anne is not nice.