The bald eagle chases the tiger. The cow likes the tiger. The tiger chases the bald eagle. The tiger chases the cow. The tiger likes the cow. The tiger needs the bald eagle. The tiger needs the cow. If something likes the tiger then it chases the cow. If something chases the cow then it is young. If something needs the bald eagle and the bald eagle likes the tiger then the bald eagle likes the cow. If the cow chases the bald eagle then the bald eagle is young. If something needs the tiger and it chases the bald eagle then it likes the tiger. If the tiger needs the cow and the tiger chases the bald eagle then the cow needs the tiger.
The cow chases the cow.
@0: The bald eagle chases the tiger.[(triple1)] The cow likes the tiger.[(triple2)] The tiger chases the bald eagle.[(triple3)] The tiger chases the cow.[(triple4)] The tiger likes the cow.[(triple5)] The tiger needs the bald eagle.[(triple6)] The tiger needs the cow.[(triple7)] @1: The cow chases the cow.[(((triple2) -> rule1))] The cow needs the tiger.[(((triple7 triple3) -> rule6))] The tiger is young.[(((triple4) -> rule2))] @2: The cow is young.[(((((triple2) -> rule1)) -> rule2))]