The bald eagle needs the tiger. The bald eagle sees the squirrel. The dog needs the bald eagle. The dog needs the tiger. The squirrel is red. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger is rough. The tiger needs the squirrel. The tiger sees the squirrel. If something needs the dog and the dog needs the bald eagle then it chases the squirrel. If something needs the squirrel then the squirrel chases the tiger. If something is rough and cold then it needs the squirrel. If something is rough then it chases the squirrel. If the bald eagle needs the squirrel then the squirrel chases the tiger. If something is cold and it needs the dog then the dog sees the bald eagle. If the tiger sees the dog then the dog needs the tiger. If the bald eagle chases the tiger then the bald eagle sees the squirrel.
The tiger chases the tiger.
@0: The bald eagle needs the tiger.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The dog needs the bald eagle.[(triple3)] The dog needs the tiger.[(triple4)] The squirrel is red.[(triple5)] The tiger chases the bald eagle.[(triple6)] The tiger chases the squirrel.[(triple7 OR ((triple8) -> rule4))] The tiger is rough.[(triple8)] The tiger needs the squirrel.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The squirrel chases the tiger.[(((triple9) -> rule2))]