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