The bald eagle chases the lion. The bald eagle needs the bear. The bald eagle visits the rabbit. The bear chases the bald eagle. The bear is green. The bear is kind. The bear is young. The bear needs the bald eagle. The lion chases the bear. The rabbit is green. The rabbit is young. The rabbit needs the bald eagle. The rabbit needs the bear. The rabbit needs the lion. The rabbit visits the bear. If someone chases the lion then they chase the rabbit. If someone visits the rabbit then the rabbit chases the bear. If someone needs the bear then they need the bald eagle. If someone visits the bald eagle and they are red then they chase the bear. If someone visits the bear and the bear chases the lion then they chase the bear. If someone needs the bear then the bear needs the rabbit. If someone chases the lion and the lion is green then the lion needs the rabbit. If someone is cold then they chase the bald eagle.
The bald eagle needs the lion.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle needs the bear.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The bear chases the bald eagle.[(triple4)] The bear is green.[(triple5)] The bear is kind.[(triple6)] The bear is young.[(triple7)] The bear needs the bald eagle.[(triple8)] The lion chases the bear.[(triple9)] The rabbit is green.[(triple10)] The rabbit is young.[(triple11)] The rabbit needs the bald eagle.[(triple12 OR ((triple13) -> rule3))] The rabbit needs the bear.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bald eagle chases the rabbit.[(((triple1) -> rule1))] The bald eagle needs the bald eagle.[(((triple2) -> rule3))] The bear needs the rabbit.[(((triple13) -> rule6) OR ((triple2) -> rule6))] The rabbit chases the bear.[(((triple3) -> rule2))]