The bear visits the cat. The cat chases the dog. The dog chases the bear. If something chases the bear then it chases the cat. If something visits the dog and it is not green then the dog chases the bear. If the bear does not eat the dog then the bear visits the cat. If the cat visits the bear then the bear visits the cat. If something visits the dog then the dog is blue. If something is big then it does not chase the bear. If something visits the bear then it is not rough. If something chases the cat then the cat visits the bear.
The cat does not chase the cat.
@0: The bear visits the cat.[(triple1 OR ((((((triple3) -> rule1)) -> rule8)) -> rule4))] The cat chases the dog.[(triple2)] The dog chases the bear.[(triple3)] @1: The dog chases the cat.[(((triple3) -> rule1))] @2: The cat visits the bear.[(((((triple3) -> rule1)) -> rule8))] @3: The cat is not rough.[(((((((triple3) -> rule1)) -> rule8)) -> rule7))]