Bob is not green. If Bob is not blue then Bob is kind. Blue, green things are kind. All young, kind things are furry. If something is young and not green then it is smart. If something is blue and not furry then it is smart. If something is nice then it is not smart.
Bob is not smart.
@0: Bob is not green.[(triple1)]