The bear needs the dog. The bear needs the lion. The dog chases the lion. The dog needs the bear. The dog needs the lion. The dog visits the bear. The lion does not chase the bear. The lion is nice. The lion is not rough. The lion needs the bear. The lion visits the bear. The lion visits the dog. If something needs the lion and it needs the dog then it visits the bear. If something visits the bear and it is not nice then it is young. If something needs the dog and the dog is not young then the dog needs the bear.
The dog is nice.
@0: The bear needs the dog.[(triple1)] The bear needs the lion.[(triple2)] The dog chases the lion.[(triple3)] The dog needs the bear.[(triple4)] The dog needs the lion.[(triple5)] The dog visits the bear.[(triple6)] The lion does not chase the bear.[(triple7)] The lion is nice.[(triple8)] The lion is not rough.[(triple9)] The lion needs the bear.[(triple10)] The lion visits the bear.[(triple11)] The lion visits the dog.[(triple12)] @1: The bear visits the bear.[(((triple2 triple1) -> rule1))]