The bear chases the cow. The bear eats the cow. The bear is not blue. The bear is not kind. The bear is young. The bear likes the cow. The cow does not chase the bear. The cow eats the bear. The cow is red. The cow is rough. The cow is young. The cow likes the bear. If someone likes the cow and the cow is rough then they eat the bear. If the cow is rough then the cow is kind. If someone chases the cow and they are not red then they are young. If someone chases the bear then the bear chases the cow. If the bear does not chase the cow then the bear eats the cow. If the bear is red and the bear chases the cow then the bear eats the cow.
The cow eats the cow.
@0: The bear chases the cow.[(triple1)] The bear eats the cow.[(triple2)] The bear is not blue.[(triple3)] The bear is not kind.[(triple4)] The bear is young.[(triple5)] The bear likes the cow.[(triple6)] The cow does not chase the bear.[(triple7)] The cow eats the bear.[(triple8)] The cow is red.[(triple9)] The cow is rough.[(triple10)] The cow is young.[(triple11)] The cow likes the bear.[(triple12)] @1: The bear eats the bear.[(((triple6 triple10) -> rule1))] The cow is kind.[(((triple10) -> rule2))]