The bald eagle visits the cat. The bear eats the bald eagle. The cat needs the bald eagle. The tiger visits the bear. If something eats the bear then the bear needs the cat. If the bear eats the bald eagle and the bald eagle visits the tiger then the bear is kind. If something needs the bald eagle then the bald eagle visits the tiger. All kind things are nice. If something eats the cat and the cat eats the bald eagle then the cat needs the tiger. If something needs the cat then it eats the bear.
The bear eats the bear.
@0: The bald eagle visits the cat.[(triple1)] The bear eats the bald eagle.[(triple2)] The cat needs the bald eagle.[(triple3)] The tiger visits the bear.[(triple4)] @1: The bald eagle visits the tiger.[(((triple3) -> rule3))] @2: The bear is kind.[(((triple2 ((triple3) -> rule3)) -> rule2))] @3: The bear is nice.[(((((triple2 ((triple3) -> rule3)) -> rule2)) -> rule4))]