Anne is red. Bob is blue. Bob is cold. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Charlie is cold. Charlie is smart. Harry is cold. If someone is rough and cold then they are blue. Rough people are red. If someone is cold then they are quiet. Blue, red people are nice. Nice people are blue. Cold, smart people are nice. All red people are cold. If someone is cold and quiet then they are rough.
Anne is not smart.