The bald eagle eats the rabbit. The bald eagle is red. The bald eagle needs the bear. The bald eagle needs the rabbit. The bear chases the lion. The lion chases the rabbit. The lion does not eat the bear. The lion eats the rabbit. The rabbit does not chase the bald eagle. The rabbit does not eat the lion. The rabbit is green. The rabbit is nice. If something needs the bald eagle then the bald eagle needs the rabbit. If something needs the rabbit then it needs the lion. If something needs the bald eagle and the bald eagle needs the bear then it needs the bear. If something eats the bald eagle then it chases the lion. If something is red then it chases the rabbit. All green things are rough.
The bear needs the bear.
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bear chases the lion.[(triple5)] The lion chases the rabbit.[(triple6)] The lion does not eat the bear.[(triple7)] The lion eats the rabbit.[(triple8)] The rabbit does not chase the bald eagle.[(triple9)] The rabbit does not eat the lion.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] @1: The bald eagle chases the rabbit.[(((triple2) -> rule5))] The bald eagle needs the lion.[(((triple4) -> rule2))] The rabbit is rough.[(((triple11) -> rule6))]