The bear does not visit the dog. The dog is not nice. The rabbit visits the dog. If something chases the dog then it chases the rabbit. If something chases the rabbit then it visits the bear. If something visits the dog and it likes the bear then it visits the bear. If something chases the bear and it is not young then the bear is round. If the dog visits the bear and the bear is young then the dog does not chase the rabbit. If something likes the dog and it is nice then the dog is blue. If the bear does not visit the dog then the bear chases the dog. If something visits the bear and it does not chase the dog then it is round.
The bear does not chase the dog.
@0: The bear does not visit the dog.[(triple1)] The dog is not nice.[(triple2)] The rabbit visits the dog.[(triple3)] @1: The bear chases the dog.[(((triple1) -> rule7))] @2: The bear chases the rabbit.[(((((triple1) -> rule7)) -> rule1))] @3: The bear visits the bear.[(((((((triple1) -> rule7)) -> rule1)) -> rule2))]