Charlie is blue. Dave is cold. Gary is not green. Big people are nice. If someone is cold then they are red. All blue people are big. All green, blue people are not young. If Dave is not red then Dave is blue. If Dave is not red then Dave is nice.
Charlie is nice.