The bald eagle does not chase the lion. The bald eagle is not kind. The bald eagle is not round. The bald eagle likes the dog. The dog is nice. The dog does not like the bald eagle. The lion chases the bald eagle. The lion is green. The lion likes the dog. The lion visits the dog. If something chases the lion and the lion visits the dog then the lion chases the bald eagle. If something chases the bald eagle then it visits the lion. If the lion visits the dog then the lion is young. If the lion does not chase the bald eagle then the bald eagle is kind. If something visits the dog and it likes the lion then the lion likes the bald eagle. If the dog does not visit the lion then the lion does not like the bald eagle. If something likes the bald eagle then it is round. Young things are round.
The dog visits the bald eagle.
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle is not kind.[(triple2)] The bald eagle is not round.[(triple3)] The bald eagle likes the dog.[(triple4)] The dog does not like the bald eagle.[(triple6)] The dog is nice.[(triple5)] The lion chases the bald eagle.[(triple7)] The lion is green.[(triple8)] The lion likes the dog.[(triple9)] The lion visits the dog.[(triple10)] @1: The lion is young.[(((triple10) -> rule3))] The lion visits the lion.[(((triple7) -> rule2))] @2: The lion is round.[(((((triple10) -> rule3)) -> rule8))]