The bear chases the cow. The bear visits the cow. The cow is nice. If someone visits the cow and they are not big then they need the bear. If someone needs the cow and the cow is not kind then they do not visit the cow. If someone chases the cow then the cow needs the bear. If the bear needs the cow and the bear does not visit the cow then the bear chases the cow. If the bear is kind and the bear needs the cow then the cow does not visit the bear. If someone chases the cow then the cow does not visit the bear.
The bear does not visit the cow.
@0: The bear chases the cow.[(triple1)] The bear visits the cow.[(triple2)] The cow is nice.[(triple3)] @1: The cow does not visit the bear.[(((triple1) -> rule6))] The cow needs the bear.[(((triple1) -> rule3))]