Bob is big. Bob is blue. Bob is not furry. Bob is nice. Bob is rough. Bob is smart. Dave is furry. Dave is quiet. Dave is rough. Dave is smart. If Bob is nice and Bob is not big then Bob is smart.
Bob is not smart.