The bear chases the dog. The bear is big. The bear sees the dog. The bear visits the dog. The dog chases the bear. The dog is nice. The dog is rough. The dog is young. The dog sees the bear. The dog visits the bear. If the dog is rough then the dog visits the bear. If something chases the bear and it sees the bear then it visits the dog. If something visits the dog and it is nice then the dog is kind.
The bear does not chase the bear.
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2)] The bear sees the dog.[(triple3)] The bear visits the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog is nice.[(triple6)] The dog is rough.[(triple7)] The dog is young.[(triple8)] The dog sees the bear.[(triple9)] The dog visits the bear.[(triple10 OR ((triple7) -> rule1))] @1: The dog visits the dog.[(((triple5 triple9) -> rule2))] @2: The dog is kind.[(((((triple5 triple9) -> rule2) triple6) -> rule3))]