Bob is not furry. Bob is green. Bob is kind. Bob is nice. Bob is not rough. Bob is smart. Bob is not white. All white things are green. If something is nice then it is green. If something is green and not nice then it is rough. If Bob is white and Bob is not green then Bob is furry. If something is green and not nice then it is smart. If something is green and not furry then it is smart. White things are not kind. If something is white and not smart then it is kind.
Bob is furry.
@0: Bob is green.[(triple2 OR ((triple4) -> rule2))] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Bob is not furry.[(triple1)] Bob is not rough.[(triple5)] Bob is not white.[(triple7)] Bob is smart.[(triple6 OR ((triple2 triple1) -> rule6) OR ((((triple4) -> rule2) triple1) -> rule6))]