Bob is big. Bob is cold. Bob is furry. Bob is round. Bob is smart. Bob is white. Bob is young. Charlie is big. Charlie is cold. Charlie is furry. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. If something is round then it is cold. If something is round then it is smart. All furry, young things are smart.
Bob is not young.