The bald eagle eats the mouse. The bald eagle is rough. The bald eagle visits the mouse. The bald eagle visits the squirrel. The bald eagle visits the tiger. The mouse eats the bald eagle. The mouse eats the squirrel. The mouse visits the squirrel. The squirrel eats the mouse. The tiger is big. If someone is big and they need the tiger then they visit the bald eagle. If someone eats the bald eagle then the bald eagle needs the tiger. If someone is cold then they need the tiger. If someone visits the squirrel and they visit the tiger then the tiger is cold. If the mouse eats the tiger and the tiger visits the bald eagle then the tiger needs the bald eagle. If someone is green and they visit the squirrel then they need the mouse.
The tiger needs the tiger.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle visits the mouse.[(triple3)] The bald eagle visits the squirrel.[(triple4)] The bald eagle visits the tiger.[(triple5)] The mouse eats the bald eagle.[(triple6)] The mouse eats the squirrel.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel eats the mouse.[(triple9)] The tiger is big.[(triple10)] @1: The bald eagle needs the tiger.[(((triple6) -> rule2))] The tiger is cold.[(((triple4 triple5) -> rule4))] @2: The tiger needs the tiger.[(((((triple4 triple5) -> rule4)) -> rule3))] @3: The tiger visits the bald eagle.[(((triple10 ((((triple4 triple5) -> rule4)) -> rule3)) -> rule1))]