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