The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle visits the cat. The cat chases the bald eagle. The cat chases the mouse. The cat visits the bald eagle. The cat visits the mouse. The mouse chases the cat. The mouse is green. The mouse visits the bald eagle. If something eats the cat then it eats the mouse. If something visits the bald eagle then it eats the bald eagle.
The cat is green.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the mouse.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the mouse.[(triple7)] The mouse chases the cat.[(triple8)] The mouse is green.[(triple9)] The mouse visits the bald eagle.[(triple10)] @1: The bald eagle eats the mouse.[(((triple2) -> rule1))] The cat eats the bald eagle.[(((triple6) -> rule2))] The mouse eats the bald eagle.[(((triple10) -> rule2))]