The bear needs the dog. The dog chases the bear. The dog likes the bear. If something needs the dog and the dog is green then the dog is red. If something chases the bear and the bear needs the dog then it is red. If something likes the bear then it chases the dog. If something is blue then it likes the dog. If something chases the bear then the bear chases the dog. If something chases the dog and it is round then the dog likes the bear. If something likes the bear then it needs the dog. If something likes the dog and it needs the bear then it likes the bear.
The bear does not need the dog.
@0: The bear needs the dog.[(triple1)] The dog chases the bear.[(triple2)] The dog likes the bear.[(triple3)] @1: The bear chases the dog.[(((triple2) -> rule5))] The dog chases the dog.[(((triple3) -> rule3))] The dog is red.[(((triple2 triple1) -> rule2))] The dog needs the dog.[(((triple3) -> rule7))]