The bear chases the cat. The bear chases the rabbit. The bear eats the rabbit. The bear does not need the cat. The cat does not chase the rabbit. The cat eats the tiger. The rabbit chases the cat. The rabbit is green. The rabbit needs the bear. The tiger does not eat the rabbit. If something eats the rabbit and the rabbit does not eat the tiger then it is green. If something chases the rabbit then it is green. If something is big then it eats the cat. If the cat needs the bear and the cat eats the rabbit then the bear chases the cat. If the rabbit eats the cat and the cat is not big then the cat eats the rabbit. If something eats the rabbit then the rabbit does not eat the bear. If the bear is red and the bear is not green then the bear needs the cat. If something needs the cat then it does not need the rabbit.
The rabbit does not need the bear.
@0: The bear chases the cat.[(triple1)] The bear chases the rabbit.[(triple2)] The bear does not need the cat.[(triple4)] The bear eats the rabbit.[(triple3)] The cat does not chase the rabbit.[(triple5)] The cat eats the tiger.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit is green.[(triple8)] The rabbit needs the bear.[(triple9)] The tiger does not eat the rabbit.[(triple10)] @1: The bear is green.[(((triple2) -> rule2))] The rabbit does not eat the bear.[(((triple3) -> rule6))]