The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle eats the dog. The bald eagle eats the lion. The bald eagle is round. The bear is not young. The dog chases the bald eagle. The dog is kind. The lion chases the bald eagle. The lion eats the bald eagle. The lion eats the dog. The lion is kind. If someone likes the lion then the lion does not eat the bald eagle. If the lion is young and the bald eagle does not like the lion then the lion does not eat the bald eagle. If the dog is big then the dog chases the bald eagle. If someone is round then they are not young. If someone is cold and they do not eat the bear then the bear is round. If someone eats the bald eagle and the bald eagle likes the lion then they are not big.
The dog is big.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle eats the dog.[(triple3)] The bald eagle eats the lion.[(triple4)] The bald eagle is round.[(triple5)] The bear is not young.[(triple6)] The dog chases the bald eagle.[(triple7)] The dog is kind.[(triple8)] The lion chases the bald eagle.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion eats the dog.[(triple11)] The lion is kind.[(triple12)] @1: The bald eagle is not young.[(((triple5) -> rule4))]