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