The bald eagle sees the squirrel. The squirrel chases the bald eagle. The squirrel is green. The squirrel is rough. The squirrel is round. The squirrel likes the bald eagle. The squirrel sees the bald eagle. If someone chases the squirrel and they are green then the squirrel is round. If someone chases the bald eagle then they are rough.
The bald eagle is kind.
@0: The bald eagle sees the squirrel.[(triple1)] The squirrel chases the bald eagle.[(triple2)] The squirrel is green.[(triple3)] The squirrel is rough.[(triple4 OR ((triple2) -> rule2))] The squirrel is round.[(triple5)] The squirrel likes the bald eagle.[(triple6)] The squirrel sees the bald eagle.[(triple7)]