The bear chases the dog. The bear chases the tiger. The bear needs the tiger. The dog is round. The dog needs the bear. The dog visits the bear. The dog visits the tiger. The tiger chases the bear. The tiger chases the dog. The tiger needs the dog. If the tiger visits the bear then the bear needs the dog. If someone visits the tiger then the tiger chases the dog. If someone is kind then they need the dog. If someone visits the bear and the bear chases the tiger then they visit the dog. If someone is round and they need the dog then they are kind. If someone is young and they visit the tiger then they chase the tiger.
The bear does not chase the dog.
@0: The bear chases the dog.[(triple1)] The bear chases the tiger.[(triple2)] The bear needs the tiger.[(triple3)] The dog is round.[(triple4)] The dog needs the bear.[(triple5)] The dog visits the bear.[(triple6)] The dog visits the tiger.[(triple7)] The tiger chases the bear.[(triple8)] The tiger chases the dog.[(triple9 OR ((triple7) -> rule2))] The tiger needs the dog.[(triple10)] @1: The dog visits the dog.[(((triple6 triple2) -> rule4))]