Bob is cold. Bob is green. Bob is kind. Bob is nice. Bob is red. Charlie is green. Charlie is red. Fiona is kind. Fiona is nice. Harry is cold. Harry is green. Harry is red. All quiet, green people are smart. Kind people are smart. If someone is red then they are kind. If Fiona is green then Fiona is kind. All kind people are nice. Kind people are red.
Charlie is not green.