The bald eagle needs the cat. The bear is round. The cat likes the bald eagle. If the cat likes the bald eagle then the cat needs the bear. If something needs the bear then it is green. If something needs the cat then it is nice.
The bald eagle visits the bald eagle.
@0: The bald eagle needs the cat.[(triple1)] The bear is round.[(triple2)] The cat likes the bald eagle.[(triple3)] @1: The bald eagle is nice.[(((triple1) -> rule3))] The cat needs the bear.[(((triple3) -> rule1))] @2: The cat is green.[(((((triple3) -> rule1)) -> rule2))]