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