The bald eagle chases the bear. The bald eagle is rough. The bald eagle needs the squirrel. The bald eagle sees the bear. The bald eagle sees the cow. The bear chases the cow. The bear chases the squirrel. The cow chases the squirrel. The cow is kind. The cow is red. The cow needs the bald eagle. The cow needs the squirrel. The cow sees the bald eagle. The squirrel is rough. The squirrel needs the cow. If something sees the bear then it chases the bald eagle. If something chases the bear and it sees the bear then it sees the bald eagle.
The bald eagle is round.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the squirrel.[(triple3)] The bald eagle sees the bear.[(triple4)] The bald eagle sees the cow.[(triple5)] The bear chases the cow.[(triple6)] The bear chases the squirrel.[(triple7)] The cow chases the squirrel.[(triple8)] The cow is kind.[(triple9)] The cow is red.[(triple10)] The cow needs the bald eagle.[(triple11)] The cow needs the squirrel.[(triple12)] The cow sees the bald eagle.[(triple13)] The squirrel is rough.[(triple14)] The squirrel needs the cow.[(triple15)] @1: The bald eagle chases the bald eagle.[(((triple4) -> rule1))] The bald eagle sees the bald eagle.[(((triple1 triple4) -> rule2))]