The bald eagle eats the cat. The cat needs the tiger. The cow eats the cat. The cow needs the cat. The tiger is rough. The tiger likes the cow. The tiger needs the cat. If something is rough then it needs the cow. If something is red and young then it eats the bald eagle. If something is rough and it needs the cow then it eats the tiger. If the tiger eats the bald eagle and the tiger eats the cow then the cow likes the bald eagle. If something likes the cat then it likes the bald eagle. If something needs the cow and it eats the tiger then it is big.
The cat is not kind.
@0: The bald eagle eats the cat.[(triple1)] The cat needs the tiger.[(triple2)] The cow eats the cat.[(triple3)] The cow needs the cat.[(triple4)] The tiger is rough.[(triple5)] The tiger likes the cow.[(triple6)] The tiger needs the cat.[(triple7)] @1: The tiger needs the cow.[(((triple5) -> rule1))] @2: The tiger eats the tiger.[(((triple5 ((triple5) -> rule1)) -> rule3))] @3: The tiger is big.[(((((triple5) -> rule1) ((triple5 ((triple5) -> rule1)) -> rule3)) -> rule6))]