The bald eagle is not green. The bear sees the bald eagle. The rabbit is big. If something is big then it chases the rabbit. If something eats the bear and it chases the bald eagle then the bear eats the bald eagle.
The rabbit is not big.
@0: The bald eagle is not green.[(triple1)] The bear sees the bald eagle.[(triple2)] The rabbit is big.[(triple3)] @1: The rabbit chases the rabbit.[(((triple3) -> rule1))]