The bald eagle chases the dog. The bald eagle chases the lion. The bald eagle is round. The bald eagle sees the lion. The dog chases the bald eagle. The dog chases the lion. The dog is red. The dog is round. The dog sees the lion. The dog visits the bald eagle. The dog visits the lion. The lion chases the bald eagle. The lion is red. The lion is young. The lion sees the bald eagle. The lion sees the dog. If the dog sees the lion then the dog visits the bald eagle. If someone visits the dog then the dog sees the bald eagle. If someone visits the dog and the dog chases the lion then they see the dog. If someone sees the lion then they see the bald eagle. If the bald eagle is cold and the bald eagle chases the lion then the bald eagle visits the dog. If someone chases the lion then the lion visits the dog.
The bald eagle does not see the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle sees the lion.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the lion.[(triple6)] The dog is red.[(triple7)] The dog is round.[(triple8)] The dog sees the lion.[(triple9)] The dog visits the bald eagle.[(triple10 OR ((triple9) -> rule1))] The dog visits the lion.[(triple11)] The lion chases the bald eagle.[(triple12)] The lion is red.[(triple13)] The lion is young.[(triple14)] The lion sees the bald eagle.[(triple15)] The lion sees the dog.[(triple16 OR ((((triple2) -> rule6) triple6) -> rule3) OR ((((triple6) -> rule6) triple6) -> rule3))] @1: The bald eagle sees the bald eagle.[(((triple4) -> rule4))] The dog sees the bald eagle.[(((triple9) -> rule4) OR ((((triple2) -> rule6)) -> rule2) OR ((((triple6) -> rule6)) -> rule2))] The lion visits the dog.[(((triple2) -> rule6) OR ((triple6) -> rule6))]