The bald eagle eats the mouse. The bald eagle is big. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle needs the mouse. The bald eagle visits the mouse. The mouse is red. The mouse is rough. The mouse needs the bald eagle. The mouse visits the bald eagle. If someone visits the mouse and they need the bald eagle then the mouse needs the bald eagle. If the bald eagle needs the mouse then the mouse eats the bald eagle. If someone eats the mouse then the mouse is red. If the bald eagle eats the mouse and the bald eagle needs the mouse then the mouse eats the bald eagle. If someone is kind then they visit the bald eagle. If someone visits the bald eagle then the bald eagle is green.
The mouse is green.
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is green.[(triple3 OR ((triple12) -> rule6) OR ((((triple4) -> rule5)) -> rule6))] The bald eagle is kind.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle is rough.[(triple6)] The bald eagle needs the mouse.[(triple7)] The bald eagle visits the mouse.[(triple8)] The mouse is red.[(triple9 OR ((triple1) -> rule3))] The mouse is rough.[(triple10)] The mouse needs the bald eagle.[(triple11)] The mouse visits the bald eagle.[(triple12)] @1: The bald eagle visits the bald eagle.[(((triple4) -> rule5))] The mouse eats the bald eagle.[(((triple7) -> rule2) OR ((triple1 triple7) -> rule4))]