The dog eats the lion. The dog is not blue. The dog is not kind. The dog is rough. The lion is rough. The lion visits the dog. The lion visits the rabbit. The rabbit is nice. The rabbit is round. The rabbit needs the dog. The rabbit needs the lion. The tiger does not eat the lion. The tiger does not eat the rabbit. The tiger is blue. The tiger needs the dog. The tiger does not need the lion. If someone visits the dog then they need the dog. If someone eats the lion and they visit the rabbit then they are not round. If the dog is rough and the dog does not need the tiger then the dog eats the rabbit.
The dog does not need the dog.
@0: The dog eats the lion.[(triple1)] The dog is not blue.[(triple2)] The dog is not kind.[(triple3)] The dog is rough.[(triple4)] The lion is rough.[(triple5)] The lion visits the dog.[(triple6)] The lion visits the rabbit.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the dog.[(triple10)] The rabbit needs the lion.[(triple11)] The tiger does not eat the lion.[(triple12)] The tiger does not eat the rabbit.[(triple13)] The tiger does not need the lion.[(triple16)] The tiger is blue.[(triple14)] The tiger needs the dog.[(triple15)] @1: The lion needs the dog.[(((triple6) -> rule1))]