The bear does not visit the cow. The cow is blue. The cow needs the bear. The cow does not need the lion. The lion eats the bear. The lion needs the bear. The lion visits the bear. If the bear is not green then the bear visits the cow.
The bear does not visit the lion.
@0: The bear does not visit the cow.[(triple1)] The cow does not need the lion.[(triple4)] The cow is blue.[(triple2)] The cow needs the bear.[(triple3)] The lion eats the bear.[(triple5)] The lion needs the bear.[(triple6)] The lion visits the bear.[(triple7)]