The bear does not eat the dog. The bear is red. The bear is not young. The bear sees the dog. The dog eats the bear. The dog is young. The dog visits the bear. If someone eats the bear then they are not rough.
The dog sees the dog.
@0: The bear does not eat the dog.[(triple1)] The bear is not young.[(triple3)] The bear is red.[(triple2)] The bear sees the dog.[(triple4)] The dog eats the bear.[(triple5)] The dog is young.[(triple6)] The dog visits the bear.[(triple7)] @1: The dog is not rough.[(((triple5) -> rule1))]