Bob is red. Bob is smart. Bob is white. Charlie is big. Charlie is cold. Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is red. Erin is not smart. Erin is white. Harry is cold. Harry is green. Harry is kind. Harry is white. All smart things are white. If something is kind and not big then it is red. All kind, big things are white. If something is not big then it is kind. If Charlie is not cold then Charlie is not green. Red things are kind. If something is not green then it is red. Kind things are red.
Bob is not kind.