Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is round. Bob is smart. Bob is young. Blue things are nice. If Bob is round then Bob is furry. All big, blue things are smart. If something is blue and smart then it is big. If something is big then it is round. Furry, young things are smart.
Bob is not smart.