Alan is green. Charlie is rough. Charlie is kind. Charlie is green. Charlie is cold. Dave is young. Dave is round. Dave is red. Dave is nice. Dave is green. Gary is cold. Gary is blue. If someone is blue and rough then they are nice. If someone is kind and cold and green then they are blue. If someone is rough and young and blue then they are round. If someone is big and round then they are rough. If someone is nice and kind and cold then they are red.
Charlie is not blue.