The bald eagle eats the mouse. The bald eagle eats the squirrel. The mouse eats the bald eagle. The mouse eats the squirrel. The mouse is kind. The mouse is rough. The mouse is young. The mouse likes the squirrel. The mouse visits the bald eagle. The mouse visits the squirrel. The squirrel eats the bald eagle. The squirrel eats the mouse. If someone eats the mouse and the mouse eats the squirrel then they are rough. If someone visits the mouse and the mouse eats the bald eagle then they are big. All rough people are young. If someone eats the squirrel and the squirrel is big then the squirrel eats the bald eagle. If someone eats the squirrel then the squirrel is big. Kind people are young. If someone visits the mouse and the mouse likes the squirrel then they eat the bald eagle. If the mouse is big then the mouse eats the squirrel.
The mouse eats the squirrel.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The mouse eats the bald eagle.[(triple3)] The mouse eats the squirrel.[(triple4)] The mouse is kind.[(triple5)] The mouse is rough.[(triple6)] The mouse is young.[(triple7 OR ((triple5) -> rule6) OR ((triple6) -> rule3))] The mouse likes the squirrel.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the squirrel.[(triple10)] The squirrel eats the bald eagle.[(triple11 OR ((triple2 ((triple2) -> rule5)) -> rule4) OR ((triple2 ((triple4) -> rule5)) -> rule4) OR ((triple4 ((triple2) -> rule5)) -> rule4) OR ((triple4 ((triple4) -> rule5)) -> rule4))] The squirrel eats the mouse.[(triple12)] @1: The bald eagle is rough.[(((triple1 triple4) -> rule1))] The squirrel is big.[(((triple2) -> rule5) OR ((triple4) -> rule5))] The squirrel is rough.[(((triple12 triple4) -> rule1))] @2: The bald eagle is young.[(((((triple1 triple4) -> rule1)) -> rule3))] The squirrel is young.[(((((triple12 triple4) -> rule1)) -> rule3))]