Charlie is big. Charlie is furry. Charlie is green. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Gary is big. Gary is furry. Gary is green. Gary is red. Gary is rough. Gary is smart. Gary is white. If something is rough and smart then it is white. If Charlie is green then Charlie is white. If Gary is red and Gary is smart then Gary is white.
Charlie is not smart.