The bear chases the dog. The bear is green. The bear does not need the dog. The bear visits the dog. The dog is big. The dog is not green. The dog visits the bear. If someone chases the bear then the bear does not need the dog. If the dog needs the bear then the dog chases the bear. If someone visits the dog then they do not chase the bear. If someone needs the bear then they do not visit the dog. If someone is green then they do not need the bear. If someone visits the dog then they are not round. If the dog is not green then the dog needs the bear. If someone chases the bear then they chase the dog.
The dog does not need the dog.
@0: The bear chases the dog.[(triple1)] The bear does not need the dog.[(triple3 OR ((((((triple6) -> rule7)) -> rule2)) -> rule1))] The bear is green.[(triple2)] The bear visits the dog.[(triple4)] The dog is big.[(triple5)] The dog is not green.[(triple6)] The dog visits the bear.[(triple7)] @1: The bear does not chase the bear.[(((triple4) -> rule3))] The bear does not need the bear.[(((triple2) -> rule5))] The bear is not round.[(((triple4) -> rule6))] The dog needs the bear.[(((triple6) -> rule7))] @2: The dog chases the bear.[(((((triple6) -> rule7)) -> rule2))] The dog does not visit the dog.[(((((triple6) -> rule7)) -> rule4))] @3: The dog chases the dog.[(((((((triple6) -> rule7)) -> rule2)) -> rule8))]