The bear does not eat the cow. The bear needs the dog. The cow does not eat the dog. The cow visits the dog. The dog is big. The dog is rough. The dog needs the cow. If something is big and kind then it visits the dog. If something eats the cow then it eats the bear. If something is green then it eats the bear. If something is big then it eats the cow. If the bear visits the cow and the bear is not green then the cow eats the dog. If something is rough and it does not visit the cow then the cow is green. If something eats the bear then the bear eats the dog. If something visits the dog and it does not eat the cow then the dog is cold.
The bear does not need the cow.
@0: The bear does not eat the cow.[(triple1)] The bear needs the dog.[(triple2)] The cow does not eat the dog.[(triple3)] The cow visits the dog.[(triple4)] The dog is big.[(triple5)] The dog is rough.[(triple6)] The dog needs the cow.[(triple7)] @1: The dog eats the cow.[(((triple5) -> rule4))] @2: The dog eats the bear.[(((((triple5) -> rule4)) -> rule2))] @3: The bear eats the dog.[(((((((triple5) -> rule4)) -> rule2)) -> rule7))]