The bald eagle is nice. The cat visits the mouse. The cow eats the bald eagle. The mouse is round. If something eats the mouse and it is big then the mouse is nice. All big things are cold. If something chases the cow then the cow is nice. If something chases the cat then the cat eats the bald eagle. If something visits the mouse then it eats the cow. If something eats the bald eagle then it is nice. If something eats the bald eagle then the bald eagle visits the cow. If something visits the cow then the cow visits the mouse.
The cat eats the bald eagle.
@0: The bald eagle is nice.[(triple1)] The cat visits the mouse.[(triple2)] The cow eats the bald eagle.[(triple3)] The mouse is round.[(triple4)] @1: The bald eagle visits the cow.[(((triple3) -> rule7))] The cat eats the cow.[(((triple2) -> rule5))] The cow is nice.[(((triple3) -> rule6))] @2: The cow visits the mouse.[(((((triple3) -> rule7)) -> rule8))] @3: The cow eats the cow.[(((((((triple3) -> rule7)) -> rule8)) -> rule5))]