Charlie is blue. Charlie is not red. Charlie is smart. Dave is big. Dave is blue. Dave is green. Dave is red. Dave is smart. Gary is nice. Gary is red. If someone is not red then they are blue. If someone is not big and not red then they are blue. All nice people are not smart. If someone is red and not nice then they are smart. If Charlie is green and Charlie is nice then Charlie is young. If someone is not smart then they are not young.
Charlie is nice.