Charlie is blue. Charlie is cold. Charlie is not green. Charlie is white. Charlie is not young. Dave is blue. Dave is green. Dave is white. Gary is blue. Gary is cold. Gary is not green. Gary is young. If someone is green then they are big. If Charlie is big then Charlie is blue. If Dave is white then Dave is green. If someone is young and not cold then they are rough. If someone is not green then they are big. If Dave is white and Dave is not green then Dave is not rough. If someone is big and not blue then they are not rough. If someone is not cold and not big then they are young.
Gary is blue.