The bald eagle visits the mouse. The bear is rough. The mouse eats the tiger. The tiger eats the bear. If something visits the bald eagle then it is kind. If something chases the bear then the bear is green. If something eats the bald eagle then the bald eagle visits the tiger. If something is kind and it eats the mouse then it is green. If something eats the bear then the bear visits the mouse. If something eats the bald eagle and the bald eagle visits the tiger then the bald eagle chases the tiger. If the bear is kind and the bear is cold then the bear chases the bald eagle. If the bear is rough and the bear visits the mouse then the mouse eats the bald eagle.
The tiger is not big.
@0: The bald eagle visits the mouse.[(triple1)] The bear is rough.[(triple2)] The mouse eats the tiger.[(triple3)] The tiger eats the bear.[(triple4)] @1: The bear visits the mouse.[(((triple4) -> rule5))] @2: The mouse eats the bald eagle.[(((triple2 ((triple4) -> rule5)) -> rule8))] @3: The bald eagle visits the tiger.[(((((triple2 ((triple4) -> rule5)) -> rule8)) -> rule3))] @4: The bald eagle chases the tiger.[(((((triple2 ((triple4) -> rule5)) -> rule8) ((((triple2 ((triple4) -> rule5)) -> rule8)) -> rule3)) -> rule6))]