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