Charlie is green. Gary is cold. Harry is green. Nice, young people are blue. If someone is big and nice then they are cold. If someone is young and quiet then they are cold. All quiet, green people are big. If Charlie is not quiet and Charlie is not cold then Charlie is not big. If someone is not big then they are not young.
Charlie is nice.