The bald eagle likes the lion. The bear is kind. The cow eats the bald eagle. The lion likes the cow. If something is kind then it eats the bear. If something is green then it eats the lion. If something chases the cow and it is young then the cow eats the bear. If something eats the cow and it is young then it likes the bald eagle. If something eats the cow and the cow eats the lion then the lion likes the bear. If something eats the bear then it eats the cow. If something eats the cow then it eats the lion. If something eats the bald eagle then it likes the lion.
The bald eagle does not eat the bear.
@0: The bald eagle likes the lion.[(triple1)] The bear is kind.[(triple2)] The cow eats the bald eagle.[(triple3)] The lion likes the cow.[(triple4)] @1: The bear eats the bear.[(((triple2) -> rule1))] The cow likes the lion.[(((triple3) -> rule8))] @2: The bear eats the cow.[(((((triple2) -> rule1)) -> rule6))] @3: The bear eats the lion.[(((((((triple2) -> rule1)) -> rule6)) -> rule7))]