The bald eagle chases the tiger. The bald eagle does not need the tiger. The bald eagle visits the bear. The bear does not visit the bald eagle. The dog is rough. The dog needs the bald eagle. The dog needs the bear. The dog visits the bald eagle. The dog visits the tiger. The tiger visits the bald eagle. If something visits the bear and it is rough then the bear chases the bald eagle. If something needs the tiger then the tiger visits the bald eagle. If something is green then it visits the dog. If something chases the bear and the bear needs the dog then the bear visits the bald eagle. If something visits the bald eagle then the bald eagle does not chase the bear. If something chases the tiger then it chases the bald eagle. If something visits the bald eagle and the bald eagle does not chase the bear then the bear chases the tiger. If the dog chases the bald eagle and the bald eagle needs the dog then the dog chases the tiger.
The dog does not chase the bald eagle.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle does not need the tiger.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear does not visit the bald eagle.[(triple4)] The dog is rough.[(triple5)] The dog needs the bald eagle.[(triple6)] The dog needs the bear.[(triple7)] The dog visits the bald eagle.[(triple8)] The dog visits the tiger.[(triple9)] The tiger visits the bald eagle.[(triple10)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule6))] The bald eagle does not chase the bear.[(((triple10) -> rule5) OR ((triple8) -> rule5))] @2: The bear chases the tiger.[(((triple10 ((triple10) -> rule5)) -> rule7) OR ((triple10 ((triple8) -> rule5)) -> rule7) OR ((triple8 ((triple10) -> rule5)) -> rule7) OR ((triple8 ((triple8) -> rule5)) -> rule7))] @3: The bear chases the bald eagle.[(((((triple10 ((triple10) -> rule5)) -> rule7)) -> rule6) OR ((((triple10 ((triple8) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((triple10) -> rule5)) -> rule7)) -> rule6) OR ((((triple8 ((triple8) -> rule5)) -> rule7)) -> rule6))]