The dog chases the squirrel. The dog does not chase the tiger. The dog is green. The dog is nice. The dog is rough. The dog needs the tiger. The dog does not see the tiger. The squirrel is nice. The squirrel needs the tiger. The tiger chases the squirrel. If something is blue then it does not need the tiger. If the tiger chases the squirrel then the tiger does not see the squirrel. If the squirrel is rough then the squirrel chases the tiger. If something chases the squirrel and it does not need the squirrel then the squirrel is rough. If something sees the dog and the dog sees the tiger then the tiger chases the squirrel. If something needs the dog and it needs the tiger then it is nice.
The tiger needs the squirrel.
@0: The dog chases the squirrel.[(triple1)] The dog does not chase the tiger.[(triple2)] The dog does not see the tiger.[(triple7)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is rough.[(triple5)] The dog needs the tiger.[(triple6)] The squirrel is nice.[(triple8)] The squirrel needs the tiger.[(triple9)] The tiger chases the squirrel.[(triple10)] @1: The tiger does not see the squirrel.[(((triple10) -> rule2))]