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