The bald eagle chases the squirrel. The cat is not young. The cow likes the bald eagle. The cow likes the cat. The cow visits the bald eagle. The squirrel is green. The squirrel does not like the cat. If something is nice then it does not like the cow. If something is round and young then it does not like the cow. If the cow visits the squirrel then the squirrel likes the bald eagle. If something likes the bald eagle then it likes the squirrel. If something likes the squirrel then it visits the squirrel.
The squirrel chases the squirrel.
@0: The bald eagle chases the squirrel.[(triple1)] The cat is not young.[(triple2)] The cow likes the bald eagle.[(triple3)] The cow likes the cat.[(triple4)] The cow visits the bald eagle.[(triple5)] The squirrel does not like the cat.[(triple7)] The squirrel is green.[(triple6)] @1: The cow likes the squirrel.[(((triple3) -> rule4))] @2: The cow visits the squirrel.[(((((triple3) -> rule4)) -> rule5))] @3: The squirrel likes the bald eagle.[(((((((triple3) -> rule4)) -> rule5)) -> rule3))] @4: The squirrel likes the squirrel.[(((((((((triple3) -> rule4)) -> rule5)) -> rule3)) -> rule4))] @5: The squirrel visits the squirrel.[(((((((((((triple3) -> rule4)) -> rule5)) -> rule3)) -> rule4)) -> rule5))]