The bald eagle does not chase the lion. The bald eagle eats the dog. The bald eagle is cold. The bald eagle sees the lion. The dog chases the bald eagle. The dog is not young. The lion chases the dog. The lion does not eat the bald eagle. The lion is not young. The lion does not see the dog. If the bald eagle chases the lion and the bald eagle eats the lion then the bald eagle sees the dog. If someone chases the dog and the dog is not young then the dog eats the bald eagle. If someone is cold then they do not chase the dog. If someone chases the dog then they chase the lion. If someone is green and they do not see the lion then the lion does not chase the bald eagle. If someone is nice and they eat the lion then the lion is nice. If someone is big and they eat the dog then the dog eats the lion. If someone chases the dog and they do not chase the bald eagle then the dog eats the lion.
The dog sees the bald eagle.
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle sees the lion.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog is not young.[(triple6)] The lion chases the dog.[(triple7)] The lion does not eat the bald eagle.[(triple8)] The lion does not see the dog.[(triple10)] The lion is not young.[(triple9)] @1: The bald eagle does not chase the dog.[(((triple3) -> rule3))] The dog eats the bald eagle.[(((triple7 triple6) -> rule2))] The lion chases the lion.[(((triple7) -> rule4))]