The bear sees the cow. The cow needs the dog. The cow sees the dog. The dog is kind. The dog likes the cow. The dog needs the bear. The dog sees the bear. The dog sees the cow. The dog sees the mouse. The mouse likes the cow. If something sees the bear then it needs the dog.
The cow sees the mouse.
@0: The bear sees the cow.[(triple1)] The cow needs the dog.[(triple2)] The cow sees the dog.[(triple3)] The dog is kind.[(triple4)] The dog likes the cow.[(triple5)] The dog needs the bear.[(triple6)] The dog sees the bear.[(triple7)] The dog sees the cow.[(triple8)] The dog sees the mouse.[(triple9)] The mouse likes the cow.[(triple10)] @1: The dog needs the dog.[(((triple7) -> rule1))]