The bald eagle is big. The bald eagle is young. The dog chases the mouse. The dog eats the mouse. The dog needs the bald eagle. The mouse eats the squirrel. The mouse needs the dog. The squirrel does not chase the bald eagle. The squirrel eats the dog. The squirrel does not eat the mouse. The squirrel is red. The squirrel is young. If something is big then it is rough. If something eats the mouse then the mouse is big.
The squirrel is young.
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The dog chases the mouse.[(triple3)] The dog eats the mouse.[(triple4)] The dog needs the bald eagle.[(triple5)] The mouse eats the squirrel.[(triple6)] The mouse needs the dog.[(triple7)] The squirrel does not chase the bald eagle.[(triple8)] The squirrel does not eat the mouse.[(triple10)] The squirrel eats the dog.[(triple9)] The squirrel is red.[(triple11)] The squirrel is young.[(triple12)] @1: The bald eagle is rough.[(((triple1) -> rule1))] The mouse is big.[(((triple4) -> rule2))] @2: The mouse is rough.[(((((triple4) -> rule2)) -> rule1))]