Bob is furry. Charlie is furry. Charlie is rough. Kind things are green. Rough, kind things are green. If Charlie is green and Charlie is blue then Charlie is smart. If something is furry then it is smart. If something is green and kind then it is smart. If Charlie is furry and Charlie is smart then Charlie is kind. If Charlie is red and Charlie is smart then Charlie is rough. All kind, green things are rough.
Bob is kind.
@0: Bob is furry.[(triple1)] Charlie is furry.[(triple2)] Charlie is rough.[(triple3 OR ((((triple2 ((triple2) -> rule4)) -> rule6) ((((triple2 ((triple2) -> rule4)) -> rule6)) -> rule1)) -> rule8))] @1: Bob is smart.[(((triple1) -> rule4))] Charlie is smart.[(((triple2) -> rule4))] @2: Charlie is kind.[(((triple2 ((triple2) -> rule4)) -> rule6))] @3: Charlie is green.[(((((triple2 ((triple2) -> rule4)) -> rule6)) -> rule1) OR ((triple3 ((triple2 ((triple2) -> rule4)) -> rule6)) -> rule2))]