The bald eagle does not chase the lion. The bald eagle chases the rabbit. The bald eagle eats the squirrel. The bald eagle is big. The bald eagle is not green. The bald eagle is kind. The bald eagle sees the rabbit. The lion chases the squirrel. The lion is kind. The lion sees the rabbit. The rabbit chases the lion. The rabbit eats the squirrel. The rabbit is nice. The squirrel chases the bald eagle. The squirrel chases the lion. If something eats the squirrel then it does not see the bald eagle. If something chases the bald eagle then it eats the bald eagle. If the rabbit eats the bald eagle then the bald eagle is not kind. If something eats the rabbit and it does not eat the bald eagle then the bald eagle is green. If something sees the bald eagle and it is not green then it does not see the rabbit. If something chases the rabbit and it does not see the rabbit then it chases the lion.
The squirrel does not chase the bald eagle.
@0: The bald eagle chases the rabbit.[(triple2)] The bald eagle does not chase the lion.[(triple1)] The bald eagle eats the squirrel.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is kind.[(triple6)] The bald eagle is not green.[(triple5)] The bald eagle sees the rabbit.[(triple7)] The lion chases the squirrel.[(triple8)] The lion is kind.[(triple9)] The lion sees the rabbit.[(triple10)] The rabbit chases the lion.[(triple11)] The rabbit eats the squirrel.[(triple12)] The rabbit is nice.[(triple13)] The squirrel chases the bald eagle.[(triple14)] The squirrel chases the lion.[(triple15)] @1: The bald eagle does not see the bald eagle.[(((triple3) -> rule1))] The rabbit does not see the bald eagle.[(((triple12) -> rule1))] The squirrel eats the bald eagle.[(((triple14) -> rule2))]