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