The bald eagle chases the dog. The bald eagle does not eat the dog. The bald eagle is rough. The bald eagle visits the dog. The bald eagle visits the lion. The dog chases the lion. The dog eats the lion. The dog visits the bald eagle. The dog visits the lion. The lion visits the bald eagle. If someone eats the lion then they do not eat the bald eagle. If someone eats the lion and the lion is round then they eat the bald eagle. If someone visits the lion and they chase the lion then they visit the bald eagle. If the dog does not eat the bald eagle then the dog is round. If someone visits the lion and the lion does not visit the bald eagle then they are blue. If someone is round then they eat the dog.
The dog eats the bald eagle.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle does not eat the dog.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the lion.[(triple5)] The dog chases the lion.[(triple6)] The dog eats the lion.[(triple7)] The dog visits the bald eagle.[(triple8 OR ((triple9 triple6) -> rule3))] The dog visits the lion.[(triple9)] The lion visits the bald eagle.[(triple10)] @1: The dog does not eat the bald eagle.[(((triple7) -> rule1))] @2: The dog is round.[(((((triple7) -> rule1)) -> rule4))] @3: The dog eats the dog.[(((((((triple7) -> rule1)) -> rule4)) -> rule6))]