The bald eagle is not green. The bald eagle likes the bear. The bald eagle does not see the mouse. The bear is red. The mouse is nice. The mouse is rough. The mouse likes the bald eagle. If something likes the bear then the bear eats the mouse. If something is red then it eats the bear. If the bear is red then the bear is not green. If something is big and not rough then it does not see the bald eagle. If something is green and it likes the mouse then the mouse eats the bear. If something eats the mouse and it is not green then the mouse sees the bear. If something sees the bear then it likes the bald eagle. If something sees the bear and the bear is red then the bear does not like the bald eagle.
The mouse eats the bear.
@0: The bald eagle does not see the mouse.[(triple3)] The bald eagle is not green.[(triple1)] The bald eagle likes the bear.[(triple2)] The bear is red.[(triple4)] The mouse is nice.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the bald eagle.[(triple7 OR ((((((triple2) -> rule1) ((triple4) -> rule3)) -> rule6)) -> rule7))] @1: The bear eats the bear.[(((triple4) -> rule2))] The bear eats the mouse.[(((triple2) -> rule1))] The bear is not green.[(((triple4) -> rule3))] @2: The mouse sees the bear.[(((((triple2) -> rule1) ((triple4) -> rule3)) -> rule6))] @3: The bear does not like the bald eagle.[(((((((triple2) -> rule1) ((triple4) -> rule3)) -> rule6) triple4) -> rule8))]