The bald eagle eats the lion. The bald eagle is not green. The bald eagle visits the bear. The bear eats the bald eagle. The dog chases the bald eagle. The dog chases the lion. The dog eats the bald eagle. The dog eats the lion. The dog is big. The dog is not blue. The dog is cold. The dog visits the bear. The lion chases the bald eagle. The lion chases the bear. The lion eats the bald eagle. The lion eats the bear. If something chases the dog and it does not visit the dog then it visits the bear. If the bald eagle visits the lion and the lion does not visit the bald eagle then the bald eagle eats the dog. If the dog eats the bald eagle then the bald eagle eats the dog. If something visits the lion then it does not eat the bear. If something chases the bald eagle and it is not red then it eats the bald eagle. If something eats the bear and it is blue then it does not chase the bear. If something chases the dog then the dog does not chase the bear. If something is blue and not cold then it eats the lion.
The dog is big.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle is not green.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear eats the bald eagle.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the lion.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog eats the lion.[(triple8)] The dog is big.[(triple9)] The dog is cold.[(triple11)] The dog is not blue.[(triple10)] The dog visits the bear.[(triple12)] The lion chases the bald eagle.[(triple13)] The lion chases the bear.[(triple14)] The lion eats the bald eagle.[(triple15)] The lion eats the bear.[(triple16)] @1: The bald eagle eats the dog.[(((triple7) -> rule3))]