Bob is white. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is young. Dave is white. Gary is green. Gary is red. Gary is smart. If Gary is green and Gary is blue then Gary is young. Furry things are green. All red, young things are smart. White things are red. Furry things are smart. If something is red then it is young. Furry, young things are green. Young, smart things are furry.
Charlie is red.