The bear chases the dog. The bear needs the dog. The dog needs the bear. If someone likes the dog then the dog is rough. If someone likes the dog and they chase the bear then the bear is green. If the dog is green and the dog needs the bear then the dog likes the bear. If someone chases the bear then they chase the dog. If someone chases the dog then they are nice. If someone chases the bear and they chase the dog then the bear needs the dog.
The bear chases the dog.
@0: The bear chases the dog.[(triple1)] The bear needs the dog.[(triple2)] The dog needs the bear.[(triple3)] @1: The bear is nice.[(((triple1) -> rule5))]