The bald eagle chases the mouse. The bald eagle is big. The bald eagle visits the mouse. The mouse chases the bald eagle. The mouse chases the squirrel. The mouse is blue. The mouse is green. The mouse sees the bald eagle. The mouse sees the squirrel. The mouse does not visit the bald eagle. The mouse visits the squirrel. The squirrel chases the bald eagle. The squirrel does not chase the mouse. The squirrel is green. The squirrel visits the bald eagle. The squirrel visits the mouse. If something sees the mouse then it sees the squirrel. If something visits the bald eagle and the bald eagle sees the squirrel then the bald eagle does not chase the squirrel. Kind things are green. If the squirrel visits the bald eagle and the squirrel is green then the bald eagle sees the mouse. If something chases the squirrel then the squirrel is young. If the squirrel does not visit the bald eagle and the squirrel does not chase the mouse then the mouse chases the squirrel.
The mouse sees the mouse.
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle visits the mouse.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse chases the squirrel.[(triple5)] The mouse does not visit the bald eagle.[(triple10)] The mouse is blue.[(triple6)] The mouse is green.[(triple7)] The mouse sees the bald eagle.[(triple8)] The mouse sees the squirrel.[(triple9)] The mouse visits the squirrel.[(triple11)] The squirrel chases the bald eagle.[(triple12)] The squirrel does not chase the mouse.[(triple13)] The squirrel is green.[(triple14)] The squirrel visits the bald eagle.[(triple15)] The squirrel visits the mouse.[(triple16)] @1: The bald eagle sees the mouse.[(((triple15 triple14) -> rule4))] The squirrel is young.[(((triple5) -> rule5))] @2: The bald eagle sees the squirrel.[(((((triple15 triple14) -> rule4)) -> rule1))] @3: The bald eagle does not chase the squirrel.[(((triple15 ((((triple15 triple14) -> rule4)) -> rule1)) -> rule2))]