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