The bald eagle is kind. The bald eagle needs the dog. The bald eagle visits the cow. The bald eagle visits the dog. The cow is blue. The cow visits the bald eagle. The dog visits the bald eagle. If something eats the cow then the cow eats the bald eagle. If something visits the bald eagle then it eats the cow.
The cow is red.
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle visits the cow.[(triple3)] The bald eagle visits the dog.[(triple4)] The cow is blue.[(triple5)] The cow visits the bald eagle.[(triple6)] The dog visits the bald eagle.[(triple7)] @1: The cow eats the cow.[(((triple6) -> rule2))] The dog eats the cow.[(((triple7) -> rule2))] @2: The cow eats the bald eagle.[(((((triple6) -> rule2)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))]