The bear chases the rabbit. The bear is big. The bear is nice. The bear is round. The bear needs the lion. The dog is nice. The dog is round. The dog needs the bear. The dog needs the lion. The dog needs the rabbit. The lion is big. The lion is round. The lion likes the rabbit. The rabbit chases the bear. The rabbit is green. The rabbit needs the dog. If something chases the rabbit and it is nice then the rabbit likes the dog.
The bear chases the dog.
@0: The bear chases the rabbit.[(triple1)] The bear is big.[(triple2)] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear needs the lion.[(triple5)] The dog is nice.[(triple6)] The dog is round.[(triple7)] The dog needs the bear.[(triple8)] The dog needs the lion.[(triple9)] The dog needs the rabbit.[(triple10)] The lion is big.[(triple11)] The lion is round.[(triple12)] The lion likes the rabbit.[(triple13)] The rabbit chases the bear.[(triple14)] The rabbit is green.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The rabbit likes the dog.[(((triple1 triple3) -> rule1))]