The bald eagle chases the squirrel. The bald eagle sees the bear. The bear chases the squirrel. The bear is young. The squirrel chases the bald eagle. The squirrel sees the bald eagle. The squirrel sees the bear. The squirrel visits the tiger. The tiger chases the bear. The tiger chases the squirrel. The tiger visits the bear. The tiger visits the squirrel. If someone chases the squirrel then the squirrel chases the bald eagle.
The bald eagle visits the bald eagle.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear chases the squirrel.[(triple3)] The bear is young.[(triple4)] The squirrel chases the bald eagle.[(triple5 OR ((triple1) -> rule1) OR ((triple10) -> rule1) OR ((triple3) -> rule1))] The squirrel sees the bald eagle.[(triple6)] The squirrel sees the bear.[(triple7)] The squirrel visits the tiger.[(triple8)] The tiger chases the bear.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger visits the bear.[(triple11)] The tiger visits the squirrel.[(triple12)]