The bald eagle likes the mouse. The mouse chases the bald eagle. The mouse likes the bald eagle. If something chases the bald eagle then the bald eagle chases the mouse. If something chases the mouse and the mouse eats the bald eagle then it is young. If something eats the bald eagle then it is green. If something chases the bald eagle and the bald eagle chases the mouse then the mouse eats the bald eagle. If something chases the mouse and the mouse eats the bald eagle then the mouse chases the bald eagle. If something chases the mouse then it is kind.
The mouse is not kind.
@0: The bald eagle likes the mouse.[(triple1)] The mouse chases the bald eagle.[(triple2)] The mouse likes the bald eagle.[(triple3)] @1: The bald eagle chases the mouse.[(((triple2) -> rule1))] @2: The bald eagle is kind.[(((((triple2) -> rule1)) -> rule6))] The mouse eats the bald eagle.[(((triple2 ((triple2) -> rule1)) -> rule4))] @3: The bald eagle is young.[(((((triple2) -> rule1) ((triple2 ((triple2) -> rule1)) -> rule4)) -> rule2))] The mouse is green.[(((((triple2 ((triple2) -> rule1)) -> rule4)) -> rule3))]