The bear chases the cow. The bear chases the tiger. The bear eats the cow. The bear is blue. The bear is green. The bear needs the cow. The bear needs the tiger. The cow chases the bear. The cow chases the tiger. The cow eats the tiger. The cow needs the bear. The cow needs the tiger. The tiger eats the bear. The tiger eats the cow. The tiger does not need the cow. If something eats the tiger and the tiger chases the bear then the bear needs the cow. If something eats the tiger and it is young then it is blue. If something eats the bear and it chases the tiger then the tiger is young. If something chases the bear and it is nice then the bear is blue. If something chases the tiger then the tiger is nice. If the bear is green then the bear eats the cow. If the bear is not nice and the bear does not chase the cow then the bear eats the cow. If something needs the cow then the cow is young.
The bear is not green.
@0: The bear chases the cow.[(triple1)] The bear chases the tiger.[(triple2)] The bear eats the cow.[(triple3 OR ((triple5) -> rule6))] The bear is blue.[(triple4)] The bear is green.[(triple5)] The bear needs the cow.[(triple6)] The bear needs the tiger.[(triple7)] The cow chases the bear.[(triple8)] The cow chases the tiger.[(triple9)] The cow eats the tiger.[(triple10)] The cow needs the bear.[(triple11)] The cow needs the tiger.[(triple12)] The tiger does not need the cow.[(triple15)] The tiger eats the bear.[(triple13)] The tiger eats the cow.[(triple14)] @1: The cow is young.[(((triple6) -> rule8))] The tiger is nice.[(((triple2) -> rule5) OR ((triple9) -> rule5))] @2: The cow is blue.[(((triple10 ((triple6) -> rule8)) -> rule2))]