The rabbit chases the squirrel. The rabbit is round. The rabbit needs the squirrel. The rabbit needs the tiger. The rabbit sees the squirrel. The squirrel chases the rabbit. The squirrel chases the tiger. The squirrel is cold. The squirrel is green. The squirrel is rough. The squirrel needs the rabbit. The squirrel needs the tiger. The squirrel sees the rabbit. The tiger chases the rabbit. The tiger needs the squirrel. If the rabbit is red and the rabbit is rough then the rabbit chases the squirrel. If something is rough and it chases the tiger then it needs the rabbit.
The rabbit does not need the rabbit.
@0: The rabbit chases the squirrel.[(triple1)] The rabbit is round.[(triple2)] The rabbit needs the squirrel.[(triple3)] The rabbit needs the tiger.[(triple4)] The rabbit sees the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is green.[(triple9)] The squirrel is rough.[(triple10)] The squirrel needs the rabbit.[(triple11 OR ((triple10 triple7) -> rule2))] The squirrel needs the tiger.[(triple12)] The squirrel sees the rabbit.[(triple13)] The tiger chases the rabbit.[(triple14)] The tiger needs the squirrel.[(triple15)]