The bald eagle needs the squirrel. The bald eagle visits the squirrel. The bear eats the bald eagle. The bear is big. The squirrel eats the bald eagle. The squirrel is young. The squirrel visits the bald eagle. If something visits the bear and it visits the bald eagle then it eats the bear. If something is young then it eats the bear. If something eats the bear then the bear does not visit the squirrel.
The bear visits the squirrel.
@0: The bald eagle needs the squirrel.[(triple1)] The bald eagle visits the squirrel.[(triple2)] The bear eats the bald eagle.[(triple3)] The bear is big.[(triple4)] The squirrel eats the bald eagle.[(triple5)] The squirrel is young.[(triple6)] The squirrel visits the bald eagle.[(triple7)] @1: The squirrel eats the bear.[(((triple6) -> rule2))] @2: The bear does not visit the squirrel.[(((((triple6) -> rule2)) -> rule3))]