The bald eagle is kind. The bald eagle sees the squirrel. The bald eagle visits the squirrel. The bear chases the bald eagle. The bear sees the bald eagle. The bear visits the bald eagle. The squirrel chases the bald eagle. The squirrel is blue. The squirrel is nice. The squirrel is rough. The squirrel sees the bald eagle. The squirrel sees the bear. If someone chases the bald eagle then they visit the bald eagle. If someone visits the squirrel and the squirrel visits the bald eagle then they chase the bald eagle. If the bear visits the squirrel and the squirrel chases the bear then the bear visits the bald eagle.
The bear visits the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The bald eagle visits the squirrel.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear sees the bald eagle.[(triple5)] The bear visits the bald eagle.[(triple6 OR ((triple4) -> rule1))] The squirrel chases the bald eagle.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is nice.[(triple9)] The squirrel is rough.[(triple10)] The squirrel sees the bald eagle.[(triple11)] The squirrel sees the bear.[(triple12)] @1: The squirrel visits the bald eagle.[(((triple7) -> rule1))] @2: The bald eagle chases the bald eagle.[(((triple3 ((triple7) -> rule1)) -> rule2))] @3: The bald eagle visits the bald eagle.[(((((triple3 ((triple7) -> rule1)) -> rule2)) -> rule1))]