The bear is round. The dog needs the bear. The rabbit visits the bear. If something chases the rabbit then it visits the bear. If the dog needs the bear then the dog is red. If the dog visits the bear then the dog chases the rabbit. If something is red and it does not visit the dog then the dog is not rough. If something is green then it does not chase the bear. If the rabbit is round then the rabbit needs the bear. If something is red then it needs the rabbit. If the dog needs the rabbit then the dog visits the bear.
The bear does not visit the bear.
@0: The bear is round.[(triple1)] The dog needs the bear.[(triple2)] The rabbit visits the bear.[(triple3)] @1: The dog is red.[(((triple2) -> rule2))] @2: The dog needs the rabbit.[(((((triple2) -> rule2)) -> rule7))] @3: The dog visits the bear.[(((((((triple2) -> rule2)) -> rule7)) -> rule8))] @4: The dog chases the rabbit.[(((((((((triple2) -> rule2)) -> rule7)) -> rule8)) -> rule3))]