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