The bear chases the tiger. The bear needs the dog. The bear needs the rabbit. The bear visits the dog. The dog needs the bear. The dog visits the bear. The rabbit is kind. The rabbit needs the tiger. The tiger needs the dog. The tiger visits the rabbit. If someone chases the rabbit then the rabbit is kind. If someone is cold and they chase the tiger then they visit the rabbit. If someone needs the rabbit and the rabbit is young then they need the bear. If the rabbit is rough and the rabbit needs the dog then the dog chases the bear. If someone visits the tiger then they visit the rabbit. If someone visits the tiger then the tiger is kind. If someone chases the tiger then the tiger is rough. If the dog is green then the dog visits the tiger.
The rabbit needs the tiger.
@0: The bear chases the tiger.[(triple1)] The bear needs the dog.[(triple2)] The bear needs the rabbit.[(triple3)] The bear visits the dog.[(triple4)] The dog needs the bear.[(triple5)] The dog visits the bear.[(triple6)] The rabbit is kind.[(triple7)] The rabbit needs the tiger.[(triple8)] The tiger needs the dog.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The tiger is rough.[(((triple1) -> rule7))]