Charlie is furry. Charlie is not green. Charlie is not rough. Charlie is not white. Charlie is young. Dave is furry. Dave is green. Dave is rough. Dave is smart. Erin is furry. Erin is green. Erin is quiet. Erin is rough. Erin is not smart. Erin is not white. Erin is young. If something is smart then it is young. All rough, quiet things are not white. If Erin is young and Erin is white then Erin is not green. All green, white things are rough. All white things are young. If Erin is quiet then Erin is green.
Charlie is smart.