The bald eagle chases the bear. The bald eagle is kind. The bald eagle is rough. The bald eagle visits the bear. The bear chases the cow. The bear eats the cow. The cow chases the bald eagle. If something chases the cow and it is cold then it chases the bear. If something chases the bear and it eats the bear then it eats the cow. If something eats the bald eagle and it chases the bear then the bear chases the bald eagle. If something visits the bear then it eats the bald eagle. If something visits the bald eagle and it eats the cow then the cow visits the bald eagle. If something is kind then it visits the bald eagle. If something visits the cow and the cow is kind then the cow chases the bear. If something visits the bald eagle then the bald eagle eats the bear.
The cow does not eat the cow.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear chases the cow.[(triple5)] The bear eats the cow.[(triple6)] The cow chases the bald eagle.[(triple7)] @1: The bald eagle eats the bald eagle.[(((triple4) -> rule4))] The bald eagle visits the bald eagle.[(((triple2) -> rule6))] @2: The bald eagle eats the bear.[(((((triple2) -> rule6)) -> rule8))] The bear chases the bald eagle.[(((((triple4) -> rule4) triple1) -> rule3))] @3: The bald eagle eats the cow.[(((triple1 ((((triple2) -> rule6)) -> rule8)) -> rule2))] @4: The cow visits the bald eagle.[(((((triple2) -> rule6) ((triple1 ((((triple2) -> rule6)) -> rule8)) -> rule2)) -> rule5))]