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