The bald eagle likes the squirrel. The dog is green. The squirrel likes the bald eagle. If something likes the squirrel then the squirrel eats the dog. If something is blue then it likes the dog. If something eats the dog then the dog is blue.
The dog is blue.
@0: The bald eagle likes the squirrel.[(triple1)] The dog is green.[(triple2)] The squirrel likes the bald eagle.[(triple3)] @1: The squirrel eats the dog.[(((triple1) -> rule1))] @2: The dog is blue.[(((((triple1) -> rule1)) -> rule3))] @3: The dog likes the dog.[(((((((triple1) -> rule1)) -> rule3)) -> rule2))]