The bald eagle needs the cat. The cat eats the bald eagle. The cow is red. The lion is kind. If something eats the lion and it needs the bald eagle then the lion eats the cow. If something eats the bald eagle then it is blue. If something likes the bald eagle and it needs the lion then it is red. If something needs the bald eagle then the bald eagle eats the cow. If the bald eagle likes the cow then the bald eagle is rough. If something is kind and rough then it needs the cow.
The cow needs the cat.
@0: The bald eagle needs the cat.[(triple1)] The cat eats the bald eagle.[(triple2)] The cow is red.[(triple3)] The lion is kind.[(triple4)] @1: The cat is blue.[(((triple2) -> rule2))]