The bear does not chase the cat. The bear does not chase the rabbit. The bear eats the cat. The bear eats the rabbit. The bear is blue. The bear is green. The bear needs the cat. The cat chases the bear. The cat is blue. The rabbit chases the bear. The rabbit is big. The rabbit is not green. The rabbit is kind. The rabbit is rough. The rabbit does not need the bear. If something chases the cat and it is not big then it needs the bear. If something is green and it does not chase the cat then the cat eats the bear. If the cat eats the bear and the bear eats the rabbit then the rabbit eats the bear.
The cat does not need the cat.
@0: The bear does not chase the cat.[(triple1)] The bear does not chase the rabbit.[(triple2)] The bear eats the cat.[(triple3)] The bear eats the rabbit.[(triple4)] The bear is blue.[(triple5)] The bear is green.[(triple6)] The bear needs the cat.[(triple7)] The cat chases the bear.[(triple8)] The cat is blue.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit does not need the bear.[(triple15)] The rabbit is big.[(triple11)] The rabbit is kind.[(triple13)] The rabbit is not green.[(triple12)] The rabbit is rough.[(triple14)] @1: The cat eats the bear.[(((triple6 triple1) -> rule2))] @2: The rabbit eats the bear.[(((((triple6 triple1) -> rule2) triple4) -> rule3))]