The bear chases the cow. The bear chases the lion. The bear eats the cow. The bear eats the lion. The bear is big. The bear is green. The bear is red. The bear is young. The bear needs the cow. The bear needs the lion. The cow eats the lion. The cow is big. The cow needs the lion. The lion chases the bear. The lion eats the cow. If the bear chases the lion then the bear is red. If someone needs the cow and they chase the lion then they eat the cow. If someone is green and they eat the cow then the cow needs the bear.
The lion does not eat the cow.
@0: The bear chases the cow.[(triple1)] The bear chases the lion.[(triple2)] The bear eats the cow.[(triple3 OR ((triple9 triple2) -> rule2))] The bear eats the lion.[(triple4)] The bear is big.[(triple5)] The bear is green.[(triple6)] The bear is red.[(triple7 OR ((triple2) -> rule1))] The bear is young.[(triple8)] The bear needs the cow.[(triple9)] The bear needs the lion.[(triple10)] The cow eats the lion.[(triple11)] The cow is big.[(triple12)] The cow needs the lion.[(triple13)] The lion chases the bear.[(triple14)] The lion eats the cow.[(triple15)] @1: The cow needs the bear.[(((triple6 triple3) -> rule3) OR ((triple6 ((triple9 triple2) -> rule2)) -> rule3))]