The bald eagle needs the cow. The cat eats the bald eagle. The cow is nice. The tiger needs the cat. If something eats the bald eagle then it likes the cat. If something needs the cat and it is green then it likes the cow. If something needs the tiger and it is green then the tiger is cold. If something likes the cat then it is nice. If something is nice then it likes the bald eagle. If something is round and it likes the tiger then it needs the cat.
The cat likes the cow.
@0: The bald eagle needs the cow.[(triple1)] The cat eats the bald eagle.[(triple2)] The cow is nice.[(triple3)] The tiger needs the cat.[(triple4)] @1: The cat likes the cat.[(((triple2) -> rule1))] The cow likes the bald eagle.[(((triple3) -> rule5))] @2: The cat is nice.[(((((triple2) -> rule1)) -> rule4))] @3: The cat likes the bald eagle.[(((((((triple2) -> rule1)) -> rule4)) -> rule5))]