The bald eagle does not need the cat. The bear is not blue. The cat eats the bald eagle. The cat is green. The dog likes the bear. The dog needs the bear. The dog needs the cat. If something likes the dog then the dog eats the bear. If something is kind and it eats the bald eagle then it is green. If something eats the bald eagle then it eats the bear. If something needs the dog then it likes the dog. If something is kind and nice then it does not like the dog. If something needs the bear then it needs the dog.
The dog likes the dog.
@0: The bald eagle does not need the cat.[(triple1)] The bear is not blue.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is green.[(triple4)] The dog likes the bear.[(triple5)] The dog needs the bear.[(triple6)] The dog needs the cat.[(triple7)] @1: The cat eats the bear.[(((triple3) -> rule3))] The dog needs the dog.[(((triple6) -> rule6))] @2: The dog likes the dog.[(((((triple6) -> rule6)) -> rule4))] @3: The dog eats the bear.[(((((((triple6) -> rule6)) -> rule4)) -> rule1))]