Bob is green. If something is smart then it is kind. Rough, kind things are big. If something is smart then it is rough. If something is not smart then it is rough. If something is furry and not green then it is not smart. If Bob is big then Bob is furry. If something is not red then it is kind. All rough, smart things are furry.
Bob is green.