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