The bear chases the tiger. The bear needs the tiger. The dog chases the bear. The dog chases the lion. The dog is big. The dog is blue. The dog is young. The dog needs the lion. The dog needs the tiger. The dog visits the bear. The lion chases the bear. The lion visits the dog. The tiger chases the bear. The tiger is rough. The tiger needs the bear. The tiger visits the bear. If the dog chases the bear then the dog chases the tiger. If something chases the dog then it needs the tiger. If something is red and it chases the dog then the dog visits the tiger.
The tiger needs the bear.
@0: The bear chases the tiger.[(triple1)] The bear needs the tiger.[(triple2)] The dog chases the bear.[(triple3)] The dog chases the lion.[(triple4)] The dog is big.[(triple5)] The dog is blue.[(triple6)] The dog is young.[(triple7)] The dog needs the lion.[(triple8)] The dog needs the tiger.[(triple9)] The dog visits the bear.[(triple10)] The lion chases the bear.[(triple11)] The lion visits the dog.[(triple12)] The tiger chases the bear.[(triple13)] The tiger is rough.[(triple14)] The tiger needs the bear.[(triple15)] The tiger visits the bear.[(triple16)] @1: The dog chases the tiger.[(((triple3) -> rule1))]