The bear chases the lion. The bear is not young. The bear needs the lion. The dog eats the mouse. The dog is kind. The dog is rough. The dog is not young. The dog needs the bear. The dog needs the lion. The lion eats the bear. The lion needs the mouse. The mouse chases the dog. The mouse eats the dog. The mouse eats the lion. The mouse is rough. The mouse is not round. If someone eats the dog then they need the lion.
The lion does not need the lion.
@0: The bear chases the lion.[(triple1)] The bear is not young.[(triple2)] The bear needs the lion.[(triple3)] The dog eats the mouse.[(triple4)] The dog is kind.[(triple5)] The dog is not young.[(triple7)] The dog is rough.[(triple6)] The dog needs the bear.[(triple8)] The dog needs the lion.[(triple9)] The lion eats the bear.[(triple10)] The lion needs the mouse.[(triple11)] The mouse chases the dog.[(triple12)] The mouse eats the dog.[(triple13)] The mouse eats the lion.[(triple14)] The mouse is not round.[(triple16)] The mouse is rough.[(triple15)] @1: The mouse needs the lion.[(((triple13) -> rule1))]