The bald eagle sees the bear. The bald eagle visits the squirrel. The bear is big. The bear is rough. The bear sees the bald eagle. The bear sees the squirrel. The bear does not visit the mouse. The mouse eats the bald eagle. The mouse is big. The squirrel eats the bear. The squirrel does not eat the mouse. The squirrel is green. The squirrel is not young. The squirrel visits the bald eagle. The squirrel does not visit the bear. The squirrel visits the mouse. If something sees the squirrel then it is big. If the mouse is big and the mouse sees the bear then the mouse is young. If the bald eagle visits the squirrel then the bald eagle does not see the squirrel. If something is green then it sees the bear. If something is young then it does not see the bear. If something visits the squirrel then the squirrel sees the bear. If something sees the mouse then the mouse eats the squirrel. If something eats the mouse and the mouse is not big then the mouse does not eat the bear.
The bear eats the mouse.
@0: The bald eagle sees the bear.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The bear does not visit the mouse.[(triple7)] The bear is big.[(triple3 OR ((triple6) -> rule1))] The bear is rough.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear sees the squirrel.[(triple6)] The mouse eats the bald eagle.[(triple8)] The mouse is big.[(triple9)] The squirrel does not eat the mouse.[(triple11)] The squirrel does not visit the bear.[(triple15)] The squirrel eats the bear.[(triple10)] The squirrel is green.[(triple12)] The squirrel is not young.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The squirrel visits the mouse.[(triple16)] @1: The bald eagle does not see the squirrel.[(((triple2) -> rule3))] The squirrel sees the bear.[(((triple12) -> rule4) OR ((triple2) -> rule6))]