The bear is big. The bear does not need the squirrel. The bear does not visit the squirrel. The bear does not visit the tiger. The squirrel chases the bear. The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel needs the bear. The squirrel needs the tiger. The squirrel does not visit the tiger. The tiger chases the bear. The tiger is big. The tiger is round. The tiger does not need the bear. The tiger visits the squirrel. If something visits the squirrel then the squirrel needs the bear. If something is nice then it needs the squirrel. If something visits the tiger and it does not chase the squirrel then the squirrel chases the tiger.
The tiger does not need the bear.
@0: The bear does not need the squirrel.[(triple2)] The bear does not visit the squirrel.[(triple3)] The bear does not visit the tiger.[(triple4)] The bear is big.[(triple1)] The squirrel chases the bear.[(triple5)] The squirrel does not visit the tiger.[(triple11)] The squirrel is big.[(triple6)] The squirrel is green.[(triple7)] The squirrel is nice.[(triple8)] The squirrel needs the bear.[(triple9 OR ((triple16) -> rule1))] The squirrel needs the tiger.[(triple10)] The tiger chases the bear.[(triple12)] The tiger does not need the bear.[(triple15)] The tiger is big.[(triple13)] The tiger is round.[(triple14)] The tiger visits the squirrel.[(triple16)] @1: The squirrel needs the squirrel.[(((triple8) -> rule2))]