The bald eagle chases the lion. The bald eagle chases the rabbit. The bald eagle is kind. The bald eagle needs the bear. The bald eagle visits the lion. The bald eagle visits the rabbit. The bear is nice. The bear needs the bald eagle. The bear visits the bald eagle. The bear visits the lion. The lion chases the bear. The lion needs the rabbit. The rabbit is kind. The rabbit is nice. The rabbit needs the bald eagle. If the bald eagle does not need the rabbit then the rabbit visits the bald eagle. If someone visits the bear then the bear visits the bald eagle. If someone chases the lion and they chase the bear then the lion visits the bear. If someone visits the bear and the bear is kind then they are nice. If someone chases the bald eagle and they visit the bald eagle then the bald eagle is nice. If someone visits the bear then they visit the rabbit. If someone visits the rabbit then the rabbit chases the bear. If someone visits the lion then they chase the bear.
The bald eagle is not kind.
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle visits the lion.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The bear is nice.[(triple7)] The bear needs the bald eagle.[(triple8)] The bear visits the bald eagle.[(triple9 OR ((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule2))] The bear visits the lion.[(triple10)] The lion chases the bear.[(triple11)] The lion needs the rabbit.[(triple12)] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] The rabbit needs the bald eagle.[(triple15)] @1: The bald eagle chases the bear.[(((triple5) -> rule8))] The bear chases the bear.[(((triple10) -> rule8))] The rabbit chases the bear.[(((triple6) -> rule7) OR ((((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule6)) -> rule7))] @2: The lion visits the bear.[(((triple1 ((triple5) -> rule8)) -> rule3))] @3: The lion visits the rabbit.[(((((triple1 ((triple5) -> rule8)) -> rule3)) -> rule6))]