The bald eagle eats the rabbit. The lion is green. The mouse is rough. The rabbit eats the mouse. If something eats the rabbit then the rabbit visits the bald eagle. If something visits the bald eagle and the bald eagle eats the rabbit then the bald eagle visits the rabbit. If something visits the mouse and it is big then the mouse needs the bald eagle.
The lion is green.
@0: The bald eagle eats the rabbit.[(triple1)] The lion is green.[(triple2)] The mouse is rough.[(triple3)] The rabbit eats the mouse.[(triple4)] @1: The rabbit visits the bald eagle.[(((triple1) -> rule1))] @2: The bald eagle visits the rabbit.[(((((triple1) -> rule1) triple1) -> rule2))]