The bear likes the cat. The bear needs the cat. The bear visits the cow. The cat needs the bear. The cat visits the bear. The cow is nice. The cow needs the bear. If something needs the bear and it is not big then the bear likes the cow. If something visits the cow then the cow is green.
The bear does not like the cow.
@0: The bear likes the cat.[(triple1)] The bear needs the cat.[(triple2)] The bear visits the cow.[(triple3)] The cat needs the bear.[(triple4)] The cat visits the bear.[(triple5)] The cow is nice.[(triple6)] The cow needs the bear.[(triple7)] @1: The cow is green.[(((triple3) -> rule2))]