The bear eats the cow. The bear is big. The bear is green. The bear is kind. The bear is nice. The bear is young. The bear needs the cow. The bear visits the cow. The cow eats the bear. The cow is big. The cow is green. The cow is kind. The cow is nice. The cow is young. The cow needs the bear. The cow visits the bear. If someone needs the cow then the cow needs the bear.
The bear is not big.
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear is nice.[(triple5)] The bear is young.[(triple6)] The bear needs the cow.[(triple7)] The bear visits the cow.[(triple8)] The cow eats the bear.[(triple9)] The cow is big.[(triple10)] The cow is green.[(triple11)] The cow is kind.[(triple12)] The cow is nice.[(triple13)] The cow is young.[(triple14)] The cow needs the bear.[(triple15 OR ((triple7) -> rule1))] The cow visits the bear.[(triple16)]