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