The bald eagle needs the bear. The bear is rough. The dog is kind. The lion visits the dog. If something is rough then it visits the lion. If the dog needs the bald eagle then the bald eagle is rough. If something visits the lion then it is green. If something visits the lion and it chases the bear then the bear visits the bald eagle. If something is kind then it needs the dog. Kind things are rough.
The bear is not rough.
@0: The bald eagle needs the bear.[(triple1)] The bear is rough.[(triple2)] The dog is kind.[(triple3)] The lion visits the dog.[(triple4)] @1: The bear visits the lion.[(((triple2) -> rule1))] The dog is rough.[(((triple3) -> rule6))] The dog needs the dog.[(((triple3) -> rule5))] @2: The bear is green.[(((((triple2) -> rule1)) -> rule3))] The dog visits the lion.[(((((triple3) -> rule6)) -> rule1))] @3: The dog is green.[(((((((triple3) -> rule6)) -> rule1)) -> rule3))]