The bear eats the dog. The bear is red. The dog eats the bear. If someone eats the dog then they are rough. If someone needs the bear and the bear is not round then they see the bear. If someone is green then they see the bear. If the bear eats the dog and the bear sees the dog then the dog eats the bear. If someone sees the bear and the bear does not eat the dog then the dog does not need the bear. If someone is round then they need the bear. If someone is green and not red then they do not need the bear. If the bear eats the dog and the bear needs the dog then the bear sees the dog.
The bear is not red.
@0: The bear eats the dog.[(triple1)] The bear is red.[(triple2)] The dog eats the bear.[(triple3)] @1: The bear is rough.[(((triple1) -> rule1))]