The cat eats the lion. The cat eats the rabbit. The cat is big. The cat is not nice. The cat is red. The cat does not need the lion. The cat does not visit the lion. The cat visits the rabbit. The lion eats the rabbit. The lion needs the cat. The lion does not visit the cat. The rabbit is not nice. The rabbit is red. The rabbit needs the cat. The rabbit visits the cat. The rabbit visits the lion. If something is big and it does not need the lion then the lion eats the cat. If something needs the lion then the lion eats the cat. If something eats the cat and the cat eats the rabbit then the rabbit is not young. If something is big and it visits the rabbit then it eats the cat. If something visits the rabbit and the rabbit is green then it does not eat the cat. If the lion is not big then the lion is not green. If something visits the cat and the cat needs the rabbit then the rabbit is not green. If something is red and nice then it eats the lion.
The rabbit eats the rabbit.
@0: The cat does not need the lion.[(triple6)] The cat does not visit the lion.[(triple7)] The cat eats the lion.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is big.[(triple3)] The cat is not nice.[(triple4)] The cat is red.[(triple5)] The cat visits the rabbit.[(triple8)] The lion does not visit the cat.[(triple11)] The lion eats the rabbit.[(triple9)] The lion needs the cat.[(triple10)] The rabbit is not nice.[(triple12)] The rabbit is red.[(triple13)] The rabbit needs the cat.[(triple14)] The rabbit visits the cat.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The cat eats the cat.[(((triple3 triple8) -> rule4))] The lion eats the cat.[(((triple3 triple6) -> rule1))] @2: The rabbit is not young.[(((((triple3 triple6) -> rule1) triple2) -> rule3) OR ((((triple3 triple8) -> rule4) triple2) -> rule3))]