The bear chases the tiger. The bear visits the rabbit. The dog chases the bear. The dog is green. The dog is round. The dog visits the bear. The rabbit chases the bear. The rabbit chases the dog. The rabbit chases the tiger. The rabbit is green. The rabbit is nice. The rabbit sees the bear. The rabbit sees the dog. The rabbit sees the tiger. The rabbit visits the dog. The tiger chases the bear. If someone chases the dog then they chase the rabbit. If someone chases the bear and the bear visits the tiger then the tiger chases the rabbit. If someone visits the tiger and they visit the rabbit then they chase the tiger.
The rabbit chases the dog.
@0: The bear chases the tiger.[(triple1)] The bear visits the rabbit.[(triple2)] The dog chases the bear.[(triple3)] The dog is green.[(triple4)] The dog is round.[(triple5)] The dog visits the bear.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit chases the tiger.[(triple9)] The rabbit is green.[(triple10)] The rabbit is nice.[(triple11)] The rabbit sees the bear.[(triple12)] The rabbit sees the dog.[(triple13)] The rabbit sees the tiger.[(triple14)] The rabbit visits the dog.[(triple15)] The tiger chases the bear.[(triple16)] @1: The rabbit chases the rabbit.[(((triple8) -> rule1))]