Bob is big. Bob is blue. Bob is furry. Bob is kind. Bob is nice. Charlie is kind. Charlie is quiet. If something is big then it is quiet. All kind things are smart. If something is quiet and furry then it is blue. Quiet things are furry. If something is big and furry then it is smart. If Bob is smart then Bob is big.
Bob is not big.