Charlie is not big. Charlie is green. Charlie is nice. Charlie is not smart. Charlie is white. Charlie is not young. Dave is white. If Dave is white and Dave is round then Dave is smart. If Charlie is round and Charlie is not smart then Charlie is nice. All smart people are not big.
Charlie is not smart.