Anne is green. Anne is quiet. Anne is smart. Charlie is red. Charlie is white. Dave is kind. Dave is quiet. Dave is smart. Gary is red. Gary is white. Kind, young things are green. If something is red and young then it is white. If Dave is kind and Dave is young then Dave is smart. Red things are white. If Gary is white and Gary is red then Gary is smart. Smart, quiet things are kind. All young, white things are quiet. Quiet things are smart.
Charlie is red.