The bald eagle eats the mouse. The bald eagle is big. The bald eagle needs the mouse. The bald eagle needs the tiger. The mouse does not need the bald eagle. The mouse does not see the tiger. The tiger eats the bald eagle. The tiger eats the mouse. The tiger is not big. The tiger needs the bald eagle. If the tiger needs the mouse then the mouse is nice. If something is big then it eats the bald eagle. All green things are nice. If something eats the bald eagle and it needs the mouse then it is green. If the bald eagle is rough and the bald eagle sees the mouse then the bald eagle is nice. If the tiger sees the mouse and the mouse is rough then the mouse does not eat the bald eagle.
The mouse is rough.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle needs the tiger.[(triple4)] The mouse does not need the bald eagle.[(triple5)] The mouse does not see the tiger.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger eats the mouse.[(triple8)] The tiger is not big.[(triple9)] The tiger needs the bald eagle.[(triple10)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule2))] @2: The bald eagle is green.[(((((triple2) -> rule2) triple3) -> rule4))] @3: The bald eagle is nice.[(((((((triple2) -> rule2) triple3) -> rule4)) -> rule3))]