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