The bald eagle likes the cat. The cat is kind. The squirrel is nice. If something is nice then it is kind. If something is kind and nice then it visits the squirrel. If the squirrel does not visit the cat then the squirrel is not green. If something visits the squirrel and it is not kind then it is big. If something is green and it does not visit the squirrel then it visits the bald eagle. If something visits the bald eagle and it is young then it likes the bald eagle.
The bald eagle sees the bald eagle.
@0: The bald eagle likes the cat.[(triple1)] The cat is kind.[(triple2)] The squirrel is nice.[(triple3)] @1: The squirrel is kind.[(((triple3) -> rule1))] @2: The squirrel visits the squirrel.[(((((triple3) -> rule1) triple3) -> rule2))]