The bald eagle visits the dog. The dog visits the squirrel. The squirrel chases the dog. If something chases the dog then the dog is big. If something chases the dog then the dog visits the bald eagle. If something chases the dog and the dog chases the squirrel then it needs the squirrel. If something visits the bald eagle then it chases the dog. If something visits the squirrel and the squirrel needs the dog then the squirrel is green. If something chases the dog and the dog needs the bald eagle then the dog visits the squirrel.
The dog chases the squirrel.
@0: The bald eagle visits the dog.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel chases the dog.[(triple3)] @1: The dog is big.[(((triple3) -> rule1) OR ((((((triple3) -> rule2)) -> rule4)) -> rule1))] The dog visits the bald eagle.[(((triple3) -> rule2))] @2: The dog chases the dog.[(((((triple3) -> rule2)) -> rule4))]