The bald eagle is young. The bald eagle sees the bear. The bald eagle visits the bear. The bear eats the squirrel. The bear is not blue. The bear is green. The bear visits the bald eagle. The mouse eats the squirrel. The mouse is green. The squirrel eats the mouse. The squirrel is blue. The squirrel is not nice. The squirrel sees the bald eagle. The squirrel visits the mouse. If someone is nice then they visit the mouse. Green people are nice. If someone sees the bear and the bear visits the mouse then they are nice. If someone sees the mouse and they visit the squirrel then the mouse does not eat the bald eagle. If someone visits the bear and the bear is green then the bear visits the bald eagle. If the squirrel visits the mouse then the mouse visits the squirrel. If someone eats the bald eagle and the bald eagle sees the bear then they see the mouse. If someone visits the mouse then they eat the squirrel. If someone is blue and they do not eat the squirrel then they are not young.
The mouse sees the mouse.
@0: The bald eagle is young.[(triple1)] The bald eagle sees the bear.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the squirrel.[(triple4 OR ((((((triple6) -> rule2)) -> rule1)) -> rule8))] The bear is green.[(triple6)] The bear is not blue.[(triple5)] The bear visits the bald eagle.[(triple7 OR ((triple3 triple6) -> rule5))] The mouse eats the squirrel.[(triple8 OR ((((((triple9) -> rule2)) -> rule1)) -> rule8))] The mouse is green.[(triple9)] The squirrel eats the mouse.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is not nice.[(triple12)] The squirrel sees the bald eagle.[(triple13)] The squirrel visits the mouse.[(triple14)] @1: The bear is nice.[(((triple6) -> rule2))] The mouse is nice.[(((triple9) -> rule2))] The mouse visits the squirrel.[(((triple14) -> rule6))] The squirrel eats the squirrel.[(((triple14) -> rule8))] @2: The bear visits the mouse.[(((((triple6) -> rule2)) -> rule1))] The mouse visits the mouse.[(((((triple9) -> rule2)) -> rule1))] @3: The bald eagle is nice.[(((triple2 ((((triple6) -> rule2)) -> rule1)) -> rule3))] @4: The bald eagle visits the mouse.[(((((triple2 ((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule1))] @5: The bald eagle eats the squirrel.[(((((((triple2 ((((triple6) -> rule2)) -> rule1)) -> rule3)) -> rule1)) -> rule8))]