Anne is white. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is white. Dave is big. Dave is furry. Dave is red. Dave is young. Gary is furry. Gary is green. Gary is red. Gary is young. If Anne is big and Anne is green then Anne is not furry. White, red things are green. Smart things are young. If Dave is smart then Dave is red. Young, smart things are green. Big things are smart. If something is white and not furry then it is big.
Dave is smart.