The bear visits the dog. The dog does not chase the bear. The dog eats the bear. If something visits the dog then it visits the bear. If something visits the dog and the dog eats the bear then the dog is rough. If something visits the bear and it does not eat the bear then the bear does not chase the dog. If something eats the dog and it eats the bear then it chases the bear. If something is rough then it visits the dog. If something eats the bear then the bear visits the dog.
The dog eats the dog.
@0: The bear visits the dog.[(triple1 OR ((triple3) -> rule6))] The dog does not chase the bear.[(triple2)] The dog eats the bear.[(triple3)] @1: The bear visits the bear.[(((triple1) -> rule1) OR ((((triple3) -> rule6)) -> rule1))] The dog is rough.[(((triple1 triple3) -> rule2) OR ((((triple3) -> rule6) triple3) -> rule2))] @2: The dog visits the dog.[(((((triple1 triple3) -> rule2)) -> rule5) OR ((((((triple3) -> rule6) triple3) -> rule2)) -> rule5))] @3: The dog visits the bear.[(((((((triple1 triple3) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple3) -> rule6) triple3) -> rule2)) -> rule5)) -> rule1))]