The bear chases the cow. The bear is big. The bear is green. The bear is kind. The bear is nice. The bear is rough. The bear likes the cow. The bear does not visit the cow. The cow does not chase the bear. The cow is green. The cow is not kind. The cow is not nice. The cow is rough. The cow likes the bear. The cow visits the bear. If something likes the bear then the bear chases the cow. If something is big then it does not chase the bear. If something is kind and green then it visits the bear.
The bear does not like the bear.
@0: The bear chases the cow.[(triple1 OR ((triple14) -> rule1))] The bear does not visit the cow.[(triple8)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is rough.[(triple6)] The bear likes the cow.[(triple7)] The cow does not chase the bear.[(triple9)] The cow is green.[(triple10)] The cow is not kind.[(triple11)] The cow is not nice.[(triple12)] The cow is rough.[(triple13)] The cow likes the bear.[(triple14)] The cow visits the bear.[(triple15)] @1: The bear does not chase the bear.[(((triple2) -> rule2))] The bear visits the bear.[(((triple4 triple3) -> rule3))]