Harry is nice. All green things are round. Smart things are green. If something is rough and furry then it is smart. If Harry is nice then Harry is furry. Rough, round things are green. Furry things are smart. If something is rough then it is furry. Furry things are rough.
Harry is furry.
@0: Harry is nice.[(triple1)] @1: Harry is furry.[(((triple1) -> rule4))] @2: Harry is rough.[(((((triple1) -> rule4)) -> rule8))] Harry is smart.[(((((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule3))] @3: Harry is green.[(((((((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule3)) -> rule2))] @4: Harry is round.[(((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule1) OR ((((((((((triple1) -> rule4)) -> rule8) ((triple1) -> rule4)) -> rule3)) -> rule2)) -> rule1))]