The bear chases the cat. The bear is nice. The bear is rough. The bear needs the cat. The cat chases the bear. The cat eats the bear. The cat is green. If something needs the bear then it is rough. If the cat eats the bear then the bear eats the cat.
The bear chases the bear.
@0: The bear chases the cat.[(triple1)] The bear is nice.[(triple2)] The bear is rough.[(triple3)] The bear needs the cat.[(triple4)] The cat chases the bear.[(triple5)] The cat eats the bear.[(triple6)] The cat is green.[(triple7)] @1: The bear eats the cat.[(((triple6) -> rule2))]