The dog eats the lion. The dog is not cold. The dog needs the lion. The dog does not visit the rabbit. The lion eats the dog. The lion eats the rabbit. The lion is cold. The lion is not kind. The lion visits the dog. The lion visits the rabbit. The rabbit eats the dog. The rabbit is cold. The rabbit is kind. The rabbit is not young. The rabbit needs the dog. If the dog does not need the lion then the dog visits the lion. If someone eats the dog and they are young then the dog does not visit the lion. If someone is young then they visit the lion. If someone needs the dog and the dog does not eat the rabbit then they do not visit the lion. If someone eats the lion then the lion is young. If someone eats the lion and they are not kind then the lion needs the dog.
The lion needs the dog.
@0: The dog does not visit the rabbit.[(triple4)] The dog eats the lion.[(triple1)] The dog is not cold.[(triple2)] The dog needs the lion.[(triple3)] The lion eats the dog.[(triple5)] The lion eats the rabbit.[(triple6)] The lion is cold.[(triple7)] The lion is not kind.[(triple8)] The lion visits the dog.[(triple9)] The lion visits the rabbit.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit is cold.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is not young.[(triple14)] The rabbit needs the dog.[(triple15)] @1: The lion is young.[(((triple1) -> rule5))] @2: The dog does not visit the lion.[(((triple5 ((triple1) -> rule5)) -> rule2))] The lion visits the lion.[(((((triple1) -> rule5)) -> rule3))]