The bear likes the mouse. The bear needs the dog. The bear needs the mouse. The dog is round. The dog needs the bear. The dog visits the bear. The dog visits the mouse. The mouse likes the bear. The mouse visits the bear. The mouse visits the dog. If something visits the bear then the bear likes the mouse.
The bear does not need the dog.
@0: The bear likes the mouse.[(triple1 OR ((triple6) -> rule1) OR ((triple9) -> rule1))] The bear needs the dog.[(triple2)] The bear needs the mouse.[(triple3)] The dog is round.[(triple4)] The dog needs the bear.[(triple5)] The dog visits the bear.[(triple6)] The dog visits the mouse.[(triple7)] The mouse likes the bear.[(triple8)] The mouse visits the bear.[(triple9)] The mouse visits the dog.[(triple10)]