Bob is cold. Bob is blue. Charlie is nice. Charlie is kind. Charlie is blue. Charlie is big. Dave is red. Dave is blue. Eric is rough. Eric is nice. Eric is kind. Eric is cold. If someone is green and round then they are blue. If someone is blue and cold and rough then they are red. If someone is red and kind and blue then they are green. If someone is blue and green then they are kind. If someone is kind and blue and nice then they are rough. If someone is kind and green then they are cold. If someone is kind then they are blue.
Charlie is round.