The bald eagle sees the bear. The bear is young. The lion visits the squirrel. The squirrel is not young. If something sees the bald eagle and it visits the bald eagle then the bald eagle is young. If something sees the bear then the bear is not big. If something is big and it visits the bald eagle then the bald eagle visits the lion. If the squirrel chases the bald eagle and the squirrel does not see the bald eagle then the bald eagle visits the bear. If something sees the squirrel then the squirrel visits the bear. If something is young and not big then it sees the squirrel.
The bear is big.
@0: The bald eagle sees the bear.[(triple1)] The bear is young.[(triple2)] The lion visits the squirrel.[(triple3)] The squirrel is not young.[(triple4)] @1: The bear is not big.[(((triple1) -> rule2))] @2: The bear sees the squirrel.[(((triple2 ((triple1) -> rule2)) -> rule6))] @3: The squirrel visits the bear.[(((((triple2 ((triple1) -> rule2)) -> rule6)) -> rule5))]