The bald eagle is green. The dog likes the squirrel. The dog needs the bald eagle. The squirrel chases the dog. The squirrel is nice. The squirrel is rough. The squirrel likes the dog. If someone is rough then they chase the dog. If someone likes the squirrel then they are rough. If someone chases the dog then they like the bald eagle.
The dog does not need the dog.
@0: The bald eagle is green.[(triple1)] The dog likes the squirrel.[(triple2)] The dog needs the bald eagle.[(triple3)] The squirrel chases the dog.[(triple4 OR ((triple6) -> rule1))] The squirrel is nice.[(triple5)] The squirrel is rough.[(triple6)] The squirrel likes the dog.[(triple7)] @1: The dog is rough.[(((triple2) -> rule2))] The squirrel likes the bald eagle.[(((triple4) -> rule3) OR ((((triple6) -> rule1)) -> rule3))] @2: The dog chases the dog.[(((((triple2) -> rule2)) -> rule1))] @3: The dog likes the bald eagle.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]