Bob is kind. Bob is rough. Charlie is big. Charlie is green. Dave is white. Gary is big. Gary is cold. If someone is kind then they are cold. If someone is white then they are red. If someone is cold then they are big. Green, white people are red. White people are kind. If Dave is cold and Dave is rough then Dave is kind.
Charlie is kind.