The bald eagle is big. The bald eagle is nice. The bald eagle is young. The dog eats the mouse. The dog is nice. The dog needs the bald eagle. The dog needs the mouse. The dog visits the bald eagle. The mouse eats the bald eagle. The mouse eats the dog. If someone needs the mouse then the mouse is young. If someone eats the mouse then the mouse is nice. If someone is big then they eat the dog. If the bald eagle is green and the bald eagle is nice then the bald eagle visits the mouse. If someone eats the bald eagle and they need the dog then the bald eagle eats the mouse. If someone needs the mouse then the mouse eats the bald eagle.
The mouse eats the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The dog eats the mouse.[(triple4)] The dog is nice.[(triple5)] The dog needs the bald eagle.[(triple6)] The dog needs the mouse.[(triple7)] The dog visits the bald eagle.[(triple8)] The mouse eats the bald eagle.[(triple9 OR ((triple7) -> rule6))] The mouse eats the dog.[(triple10)] @1: The bald eagle eats the dog.[(((triple1) -> rule3))] The mouse is nice.[(((triple4) -> rule2))] The mouse is young.[(((triple7) -> rule1))]