The bear chases the cow. The bear is nice. The bear needs the cow. The bear sees the cow. The cow chases the bear. The cow is big. The cow is green. The cow is nice. The cow is rough. The cow is young. The cow needs the bear. The cow sees the bear. If something is green and nice then it sees the bear.
The bear does not see the cow.
@0: The bear chases the cow.[(triple1)] The bear is nice.[(triple2)] The bear needs the cow.[(triple3)] The bear sees the cow.[(triple4)] The cow chases the bear.[(triple5)] The cow is big.[(triple6)] The cow is green.[(triple7)] The cow is nice.[(triple8)] The cow is rough.[(triple9)] The cow is young.[(triple10)] The cow needs the bear.[(triple11)] The cow sees the bear.[(triple12 OR ((triple7 triple8) -> rule1))]