Anne is cold. Anne is smart. Bob is cold. Bob is green. Bob is red. Bob is smart. Bob is white. Bob is young. Fiona is green. Fiona is kind. Fiona is red. Harry is cold. Harry is green. Harry is kind. Harry is smart. Harry is white. All kind people are red.
Harry is not red.