The dog eats the rabbit. The dog is green. The dog is nice. The dog is young. The lion eats the rabbit. The lion needs the tiger. The lion does not see the tiger. The rabbit eats the dog. The rabbit eats the tiger. The rabbit is green. The rabbit does not need the dog. The rabbit needs the lion. The rabbit sees the dog. The rabbit does not see the lion. The tiger needs the rabbit. The tiger sees the lion. If something sees the lion and the lion is cold then the lion needs the tiger. If something needs the dog then it is green. If the dog eats the tiger then the dog is not green. If something eats the rabbit and it sees the rabbit then the rabbit needs the tiger. If something eats the rabbit and it is big then it is young. If something is young and it does not eat the rabbit then the rabbit is nice. If something eats the tiger then the tiger is young. If something needs the rabbit and it is not green then it needs the lion.
The tiger eats the tiger.
@0: The dog eats the rabbit.[(triple1)] The dog is green.[(triple2)] The dog is nice.[(triple3)] The dog is young.[(triple4)] The lion does not see the tiger.[(triple7)] The lion eats the rabbit.[(triple5)] The lion needs the tiger.[(triple6)] The rabbit does not need the dog.[(triple11)] The rabbit does not see the lion.[(triple14)] The rabbit eats the dog.[(triple8)] The rabbit eats the tiger.[(triple9)] The rabbit is green.[(triple10)] The rabbit needs the lion.[(triple12)] The rabbit sees the dog.[(triple13)] The tiger needs the rabbit.[(triple15)] The tiger sees the lion.[(triple16)] @1: The tiger is young.[(((triple9) -> rule7))]