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