The bald eagle does not like the rabbit. The bear likes the bald eagle. The dog is rough. The rabbit eats the dog. If something eats the rabbit and it is big then it needs the bald eagle. Rough things are young. Young things are kind. If something is kind then it does not eat the bald eagle. If something eats the bear and the bear is big then the bear likes the dog. If something likes the bear and the bear does not need the bald eagle then the bald eagle eats the bear.
The bald eagle is not kind.
@0: The bald eagle does not like the rabbit.[(triple1)] The bear likes the bald eagle.[(triple2)] The dog is rough.[(triple3)] The rabbit eats the dog.[(triple4)] @1: The dog is young.[(((triple3) -> rule2))] @2: The dog is kind.[(((((triple3) -> rule2)) -> rule3))] @3: The dog does not eat the bald eagle.[(((((((triple3) -> rule2)) -> rule3)) -> rule4))]