Bob is not big. Bob is furry. Bob is green. Bob is rough. Bob is round. Bob is smart. Charlie is big. Charlie is furry. Charlie is green. Charlie is not smart. All furry people are round.
Charlie is smart.