The bald eagle does not chase the lion. The bald eagle is kind. The bald eagle likes the lion. The dog chases the bald eagle. The dog chases the lion. The dog is rough. The dog likes the lion. The dog does not visit the bald eagle. The lion chases the bald eagle. The lion is kind. The lion is rough. The lion visits the dog. If the bald eagle is blue and the bald eagle does not like the lion then the bald eagle does not visit the dog. If the bald eagle likes the dog then the bald eagle visits the dog. If someone chases the dog then the dog likes the bald eagle. If someone likes the dog and the dog is rough then the dog does not chase the bald eagle. If someone is kind then they chase the dog. If someone likes the bald eagle then they visit the lion. If someone visits the dog and they visit the bald eagle then they visit the lion. If someone likes the lion and they are not red then the lion likes the dog.
The dog does not visit the dog.
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle likes the lion.[(triple3)] The dog chases the bald eagle.[(triple4)] The dog chases the lion.[(triple5)] The dog does not visit the bald eagle.[(triple8)] The dog is rough.[(triple6)] The dog likes the lion.[(triple7)] The lion chases the bald eagle.[(triple9)] The lion is kind.[(triple10)] The lion is rough.[(triple11)] The lion visits the dog.[(triple12)] @1: The bald eagle chases the dog.[(((triple2) -> rule5))] The lion chases the dog.[(((triple10) -> rule5))] @2: The dog likes the bald eagle.[(((((triple10) -> rule5)) -> rule3) OR ((((triple2) -> rule5)) -> rule3))] @3: The dog visits the lion.[(((((((triple10) -> rule5)) -> rule3)) -> rule6) OR ((((((triple2) -> rule5)) -> rule3)) -> rule6))]