Bob is big. Harry is cold. Harry is green. Red, kind people are cold. All cold people are nice. If someone is kind then they are red. Kind people are red. Big people are kind. If someone is green then they are cold.
Bob is not green.