The bear is not kind. The bear visits the dog. The dog is kind. The dog is young. The dog does not need the bear. The dog needs the rabbit. The dog sees the bear. The dog sees the rabbit. The dog visits the bear. The dog visits the rabbit. The rabbit is big. The rabbit is young. The rabbit needs the dog. The rabbit sees the bear. The rabbit does not visit the bear. The rabbit visits the dog. If the bear needs the dog then the bear does not see the dog. If someone is kind then they do not see the dog.
The dog does not visit the bear.
@0: The bear is not kind.[(triple1)] The bear visits the dog.[(triple2)] The dog does not need the bear.[(triple5)] The dog is kind.[(triple3)] The dog is young.[(triple4)] The dog needs the rabbit.[(triple6)] The dog sees the bear.[(triple7)] The dog sees the rabbit.[(triple8)] The dog visits the bear.[(triple9)] The dog visits the rabbit.[(triple10)] The rabbit does not visit the bear.[(triple15)] The rabbit is big.[(triple11)] The rabbit is young.[(triple12)] The rabbit needs the dog.[(triple13)] The rabbit sees the bear.[(triple14)] The rabbit visits the dog.[(triple16)] @1: The dog does not see the dog.[(((triple3) -> rule2))]