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